English
Related papers

Related papers: Quantum One-Time Programs, Revisited

200 papers

One-time programs, computer programs which self-destruct after being run only once, are a powerful building block in cryptography and would allow for new forms of secure software distribution. However, ideal one-time programs have been…

The meteoric rise in power and popularity of machine learning models dependent on valuable training data has reignited a basic tension between the power of running a program locally and the risk of exposing details of that program to the…

Quantum Physics · Physics 2025-01-03 Sam Gunn , Ramis Movassagh

One-time programs are modelled after a black box that allows a single evaluation of a function, and then self-destructs. Because software can, in principle, be copied, general one-time programs exists only in the hardware token model: it…

Quantum Physics · Physics 2013-09-27 Anne Broadbent , Gus Gutoski , Douglas Stebila

One-time programs (OTPs) aim to let a user evaluate a program on a single input while revealing nothing else. Classical OTPs require hardware assumptions, and even with quantum information, OTPs for deterministic functionalities remain…

Cryptography and Security · Computer Science 2026-03-03 Aparna Gupte , Jiahui Liu , Luowen Qian , Justin Raizes , Bhaskar Roberts , Mark Zhandry

One-way functions are fundamental to classical cryptography and their existence remains a longstanding problem in computational complexity theory. Recently, a provable quantum one-way function has been identified, which maintains its…

Quantum Physics · Physics 2024-08-27 Hua-Lei Yin

It is well known that quantum technology allows for an unprecedented level of data and software protection for quantum computers as well as for quantum-assisted classical computers. To exploit these properties, probabilistic one-time…

A central tenet of theoretical cryptography is the study of the minimal assumptions required to implement a given cryptographic primitive. One such primitive is the one-time memory (OTM), introduced by Goldwasser, Kalai, and Rothblum…

Quantum Physics · Physics 2020-06-15 Anne Broadbent , Sevag Gharibian , Hong-Sheng Zhou

A central tenet of theoretical cryptography is the study of the minimal assumptions required to implement a given cryptographic primitive. One such primitive is the one-time memory (OTM), introduced by Goldwasser, Kalai, and Rothblum…

Quantum Physics · Physics 2021-04-14 Anne Broadbent , Sevag Gharibian , Hong-Sheng Zhou

Quantum encryption is a well studied problem for both classical and quantum information. However, little is known about quantum encryption schemes which enable the user, under different keys, to learn different functions of the plaintext,…

Cryptography and Security · Computer Science 2017-03-02 Aditya Ahuja

We construct quantum public-key encryption from one-way functions. In our construction, public keys are quantum, but ciphertexts are classical. Quantum public-key encryption from one-way functions (or weaker primitives such as pseudorandom…

Quantum Physics · Physics 2024-05-27 Fuyuki Kitagawa , Tomoyuki Morimae , Ryo Nishimaki , Takashi Yamakawa

Quantum-mechanical devices have the potential to transform cryptography. Most research in this area has focused either on the information-theoretic advantages of quantum protocols or on the security of classical cryptographic schemes…

In 2013, Farid and Vasiliev [arXiv:quant-ph/1310.4922] for the first time proposed a way to construct a protocol for the realisation of "{\em Classical to Quantum}" one-way hash function, a derivative of the Quantum one-way function as…

Quantum Physics · Physics 2018-10-10 Amit Behera , Goutam Paul

We construct a classical oracle relative to which $\mathsf{P} = \mathsf{NP}$ but quantum-computable quantum-secure trapdoor one-way functions exist. This is a substantial strengthening of the result of Kretschmer, Qian, Sinha, and Tal (STOC…

Quantum Physics · Physics 2025-09-18 William Kretschmer , Luowen Qian , Avishay Tal

One-time memories (OTM's) are simple tamper-resistant cryptographic devices, which can be used to implement one-time programs, a very general form of software protection and program obfuscation. Here we investigate the possibility of…

Quantum Physics · Physics 2014-02-19 Yi-Kai Liu

Quantum public-key encryption [Gottesman; Kawachi et al., Eurocrypt'05] generalizes public-key encryption (PKE) by allowing the public keys to be quantum states. Prior work indicated that quantum PKE can be constructed from assumptions that…

Quantum Physics · Physics 2023-03-03 Khashayar Barooti , Giulio Malavolta , Michael Walter

Program obfuscation aims to hide the inner workings of a program while preserving its functionality. In the quantum setting, recent works have obtained obfuscation schemes for specialized classes of quantum circuits. For instance, Bartusek,…

Quantum Physics · Physics 2025-10-13 Mi-Ying Huang , Er-Cheng Tang

Functional encryption is a powerful cryptographic primitive that enables fine-grained access to encrypted data and underlies numerous applications. Although the ideal security notion for FE (simulation security) has been shown to be…

Cryptography and Security · Computer Science 2026-01-27 Mohammed Barhoush , Arthur Mehta , Anne Müller , Louis Salvail

A one-time program (OTP) works as follows: Alice provides Bob with the implementation of some function. Bob can have the function evaluated exclusively on a single input of his choosing. Once executed, the program will fail to evaluate on…

Cryptography and Security · Computer Science 2019-07-02 Lianying Zhao , Joseph I. Choi , Didem Demirag , Kevin R. B. Butler , Mohammad Mannan , Erman Ayday , Jeremy Clark

We construct simulation-secure one-time memories (OTM) in the random oracle model, and present a plausible argument for their security against quantum adversaries with bounded and adaptive depth. Our contributions include: (1) A simple…

Quantum Physics · Physics 2026-03-17 Lev Stambler

One-way functions are central to classical cryptography. They are both necessary for the existence of non-trivial classical cryptosystems, and sufficient to realize meaningful primitives including commitments, pseudorandom generators and…

Quantum Physics · Physics 2024-01-30 Dakshita Khurana , Kabir Tomer
‹ Prev 1 2 3 10 Next ›