Efficient Construction of Quantum Physical Unclonable Functions with
Unitary t-designs
- URL: http://arxiv.org/abs/2101.05692v1
- Date: Thu, 14 Jan 2021 16:14:03 GMT
- Title: Efficient Construction of Quantum Physical Unclonable Functions with
Unitary t-designs
- Authors: Niraj Kumar, Rawad Mezher and Elham Kashefi
- Abstract summary: We study the noise-resilience of QPUF_t against specific types of noise, unitary noise, and show that some resilience can be achieved.
To make the noise-resilience more realistic and meaningful, we conclude that some notion of error mitigation or correction should be introduced.
- Score: 1.7403133838762446
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Quantum physical unclonable functions, or QPUFs, are rapidly emerging as
theoretical hardware solutions to provide secure cryptographic functionalities
such as key-exchange, message authentication, entity identification among
others. Recent works have shown that in order to provide provable security of
these solutions against any quantum polynomial time adversary, QPUFs are
required to be a unitary sampled uniformly randomly from the Haar measure. This
however is known to require an exponential amount of resources. In this work,
we propose an efficient construction of these devices using unitary t-designs,
called QPUF_t. Along the way, we modify the existing security definitions of
QPUFs to include efficient constructions and showcase that QPUF_t still retains
the provable security guarantees against a bounded quantum polynomial adversary
with t-query access to the device. This also provides the first use case of
unitary t-design construction for arbitrary t, as opposed to previous
applications of t-designs where usually a few (relatively low) values of t are
known to be useful for performing some task. We study the noise-resilience of
QPUF_t against specific types of noise, unitary noise, and show that some
resilience can be achieved particularly when the error rates affecting
individual qubits become smaller as the system size increases. To make the
noise-resilience more realistic and meaningful, we conclude that some notion of
error mitigation or correction should be introduced.
Related papers
- Existential Unforgeability in Quantum Authentication From Quantum Physical Unclonable Functions Based on Random von Neumann Measurement [45.386403865847235]
Physical Unclonable Functions (PUFs) leverage inherent, non-clonable physical randomness to generate unique input-output pairs.
Quantum PUFs (QPUFs) extend this concept by using quantum states as input-output pairs.
We show that random unitary QPUFs cannot achieve existential unforgeability against Quantum Polynomial Time adversaries.
We introduce a second model where the QPUF functions as a nonunitary quantum channel, which guarantees existential unforgeability.
arXiv Detail & Related papers (2024-04-17T12:16:41Z) - Influence of HW-SW-Co-Design on Quantum Computing Scalability [6.2543855067453675]
We investigate how key figures - circuit depth and gate count - required to solve four NP-complete problems vary with tailored hardware properties.
Our results reveal that achieving near-optimal performance and properties does not necessarily require optimal quantum hardware.
arXiv Detail & Related papers (2023-06-07T08:36:33Z) - Comparison of Quantum PUF models [9.650153007075703]
Physical unclonable functions (PUFs) are hardware structures in a physical system (e.g. semiconductor, crystals etc.) that are used to enable unique identification of the semiconductor or to secure keys for cryptographic processes.
We introduce the requirements for QTOKSim, a quantum token based authentication simulator testing its performance on a multi-factor authentication protocol.
arXiv Detail & Related papers (2022-08-22T21:14:16Z) - Quantum circuit architecture search on a superconducting processor [56.04169357427682]
Variational quantum algorithms (VQAs) have shown strong evidences to gain provable computational advantages for diverse fields such as finance, machine learning, and chemistry.
However, the ansatz exploited in modern VQAs is incapable of balancing the tradeoff between expressivity and trainability.
We demonstrate the first proof-of-principle experiment of applying an efficient automatic ansatz design technique to enhance VQAs on an 8-qubit superconducting quantum processor.
arXiv Detail & Related papers (2022-01-04T01:53:42Z) - Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
We propose circuit-oriented symmetry verification that are capable of verifying the commutativity of quantum circuits without the knowledge of the quantum state.
In particular, we propose the Fourier-temporal stabilizer (STS) technique, which generalizes the conventional quantum-domain formalism to circuit-oriented stabilizers.
arXiv Detail & Related papers (2021-12-27T21:15:35Z) - Learning Classical Readout Quantum PUFs based on single-qubit gates [9.669942356088377]
We formalize the class of Classical Readout Quantum PUFs (CR-QPUFs) using the statistical query (SQ) model.
We show insufficient security for CR-QPUFs based on singlebit rotation gates, when adversary has SQ access to the CR-QPUF.
We demonstrate how a malicious party can learn CR-QPUF characteristics and forge the signature of a quantum device.
arXiv Detail & Related papers (2021-12-13T13:29:22Z) - On the Connection Between Quantum Pseudorandomness and Quantum Hardware
Assumptions [1.4174475093445233]
This paper addresses the questions related to the connections between the quantum pseudorandomness and quantum hardware assumptions.
We show that the efficient pseudorandom quantum states (PRS) are sufficient to construct the challenge set for the universally unforgeable qPUF.
As an application of our results, we show that the efficiency of an existing qPUF-based client-server identification protocol can be improved without losing the security requirements.
arXiv Detail & Related papers (2021-10-22T11:55:06Z) - Quantum circuit architecture search for variational quantum algorithms [88.71725630554758]
We propose a resource and runtime efficient scheme termed quantum architecture search (QAS)
QAS automatically seeks a near-optimal ansatz to balance benefits and side-effects brought by adding more noisy quantum gates.
We implement QAS on both the numerical simulator and real quantum hardware, via the IBM cloud, to accomplish data classification and quantum chemistry tasks.
arXiv Detail & Related papers (2020-10-20T12:06:27Z) - On the learnability of quantum neural networks [132.1981461292324]
We consider the learnability of the quantum neural network (QNN) built on the variational hybrid quantum-classical scheme.
We show that if a concept can be efficiently learned by QNN, then it can also be effectively learned by QNN even with gate noise.
arXiv Detail & Related papers (2020-07-24T06:34:34Z) - Backflash Light as a Security Vulnerability in Quantum Key Distribution
Systems [77.34726150561087]
We review the security vulnerabilities of quantum key distribution (QKD) systems.
We mainly focus on a particular effect known as backflash light, which can be a source of eavesdropping attacks.
arXiv Detail & Related papers (2020-03-23T18:23:12Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.