Tomoyuki Morimae
5 papers in the PaperMetrix corpus
Papers by this author
-
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 …