Tomoyuki Morimae

Quantum state and circuit distinguishability with single-qubit measurements

2016 · arXiv (Cornell University)

We show that the Quantum State Distinguishability (QSD), which is a QSZK-complete problem, and the Quantum Circuit Distinguishability (QCD), which is a QIP-complete problem, can be solved by the verifier who can perform only single-qubit …

Quantum Encryption with Certified Deletion, Revisited: Public Key, Attribute-Based, and Classical Communication

2021 · arXiv (Cornell University)

Broadbent and Islam (TCC '20) proposed a quantum cryptographic primitive called quantum encryption with certified deletion. In this primitive, a receiver in possession of a quantum ciphertext can generate a classical certificate that the encrypted …

Classically Verifiable NIZK for QMA with Preprocessing

2021 · arXiv (Cornell University)

We propose three constructions of classically verifiable non-interactive zero-knowledge proofs and arguments (CV-NIZK) for QMA in various preprocessing models. - We construct a CV-NIZK for QMA in the quantum secret parameter model where a trusted …

Certified Everlasting Functional Encryption

2022 · arXiv (Cornell University)

Computational security in cryptography has a risk that computational assumptions underlying the security are broken in the future. One solution is to construct information-theoretically-secure protocols, but many cryptographic primitives are known to be impossible (or …

Certified Everlasting Secure Collusion-Resistant Functional Encryption, and More

2023 · arXiv (Cornell University)

We study certified everlasting secure functional encryption (FE) and many other cryptographic primitives in this work. Certified everlasting security roughly means the following. A receiver possessing a quantum cryptographic object can issue a certificate showing …