Tomoyuki Morimae

118 papers A* 4A 1B 1C 2Journal 93Unranked 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
Separating Non-Interactive Classical Verification of Quantum Computation from Falsifiable Assumptions.
CoRR
Mohammed Barhoush, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa
2026 J jnl
Separating Non-Interactive Classical Verification of Quantum Computation from Falsifiable Assumptions.
IACR Cryptol. ePrint Arch.
Mohammed Barhoush, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa
2025 — conf
A New World in the Depths of Microcrypt: Separating OWSGs and Quantum Money from QEFID.
EUROCRYPT (7)
Amit Behera, Giulio Malavolta, Tomoyuki Morimae, Tamer Mour, Takashi Yamakawa
2025 J jnl
A Note on Output Length of One-Way State Generators and EFIs.
IACR Commun. Cryptol.
Minki Hhan, Tomoyuki Morimae, Takashi Yamakawa
2025 — conf
A Simple Framework for Secure Key Leasing.
EUROCRYPT (3)
Fuyuki Kitagawa, Tomoyuki Morimae, Takashi Yamakawa
2025 J jnl
Black-Box Separation Between Pseudorandom Unitaries, Pseudorandom Isometries, and Pseudorandom Function-Like States.
IACR Cryptol. ePrint Arch.
Aditya Gulati, Yao-Ting Lin, Tomoyuki Morimae, Shogo Yamada
2025 A* conf
Cryptographic Characterization of Quantum Advantage.
STOC
Tomoyuki Morimae, Yuki Shirakawa, Takashi Yamakawa
2025 J jnl
From Worst-Case Hardness of NP to Quantum Cryptography via Quantum Indistinguishability Obfuscation.
CoRR
Tomoyuki Morimae, Yuki Shirakawa, Takashi Yamakawa
2025 J jnl
From Worst-Case Hardness of NP to Quantum Cryptography via Quantum Indistinguishability Obfuscation.
IACR Cryptol. ePrint Arch.
Tomoyuki Morimae, Yuki Shirakawa, Takashi Yamakawa
2025 J jnl
Hardness of Quantum Distribution Learning and Quantum Cryptography.
CoRR
Taiga Hiroka, Min-Hsiu Hsieh, Tomoyuki Morimae
2025 J jnl
On Cryptography and Distribution Verification, with Applications to Quantum Advantage.
CoRR
Bruno Cavalar, Eli Goldin, Matthew Gray, Taiga Hiroka, Tomoyuki Morimae
2025 J jnl
On Cryptography and Distribution Verification, with Applications to Quantum Advantage.
Electron. Colloquium Comput. Complex.
Bruno Pasqualotto Cavalar, Eli Goldin, Matthew Gray, Taiga Hiroka, Tomoyuki Morimae
2025 J jnl
On Cryptography and Distribution Verification, with Applications to Quantum Advantage.
IACR Cryptol. ePrint Arch.
Bruno Cavalar, Eli Goldin, Matthew Gray, Taiga Hiroka, Tomoyuki Morimae
2025 J jnl
Proofs of quantum memory.
CoRR
Minki Hhan, Tomoyuki Morimae, Yasuaki Okinaka, Takashi Yamakawa
2025 J jnl
Proofs of quantum memory.
IACR Cryptol. ePrint Arch.
Minki Hhan, Tomoyuki Morimae, Yasuaki Okinaka, Takashi Yamakawa
2025 J jnl
Quantum Cryptography and Hardness of Non-Collapsing Measurements.
CoRR
Tomoyuki Morimae, Yuki Shirakawa, Takashi Yamakawa
2025 J jnl
Quantum Cryptography and Hardness of Non-Collapsing Measurements.
IACR Cryptol. ePrint Arch.
Tomoyuki Morimae, Yuki Shirakawa, Takashi Yamakawa
2025 — conf
Quantum Cryptography and Meta-Complexity.
CRYPTO (2)
Taiga Hiroka, Tomoyuki Morimae
2024 J jnl
A New World in the Depths of Microcrypt: Separating OWSGs and Quantum Money from QEFID.
CoRR
Amit Behera, Giulio Malavolta, Tomoyuki Morimae, Tamer Mour, Takashi Yamakawa
2024 J jnl
A New World in the Depths of Microcrypt: Separating OWSGs and Quantum Money from QEFID.
IACR Cryptol. ePrint Arch.
Amit Behera, Giulio Malavolta, Tomoyuki Morimae, Tamer Mour, Takashi Yamakawa
2024 J jnl
A Simple Framework for Secure Key Leasing.
CoRR
Fuyuki Kitagawa, Tomoyuki Morimae, Takashi Yamakawa
2024 J jnl
A Simple Framework for Secure Key Leasing.
IACR Cryptol. ePrint Arch.
Fuyuki Kitagawa, Tomoyuki Morimae, Takashi Yamakawa
2024 — conf
Certified Everlasting Secure Collusion-Resistant Functional Encryption, and More.
EUROCRYPT (3)
Taiga Hiroka, Fuyuki Kitagawa, Tomoyuki Morimae, Ryo Nishimaki, Tapas Pal, Takashi Yamakawa
2024 J jnl
CountCrypt: Quantum Cryptography between QCMA and PP.
CoRR
Eli Goldin, Tomoyuki Morimae, Saachi Mutreja, Takashi Yamakawa
2024 J jnl
CountCrypt: Quantum Cryptography between QCMA and PP.
IACR Cryptol. ePrint Arch.
Eli Goldin, Tomoyuki Morimae, Saachi Mutreja, Takashi Yamakawa
2024 J jnl
Cryptographic Characterization of Quantum Advantage.
IACR Cryptol. ePrint Arch.
Tomoyuki Morimae, Yuki Shirakawa, Takashi Yamakawa
2024 — conf
Exponential Quantum One-Wayness and EFI Pairs.
SCN (1)
Giulio Malavolta, Tomoyuki Morimae, Michael Walter, Takashi Yamakawa
2024 J jnl
Exponential Quantum One-Wayness and EFI Pairs.
CoRR
Giulio Malavolta, Tomoyuki Morimae, Michael Walter, Takashi Yamakawa
2024 — conf
One-Wayness in Quantum Cryptography.
TQC
Tomoyuki Morimae, Takashi Yamakawa
2024 — conf
Quantum Advantage from One-Way Functions.
CRYPTO (5)
Tomoyuki Morimae, Takashi Yamakawa
2024 J jnl
Quantum Cryptography from Meta-Complexity.
IACR Cryptol. ePrint Arch.
Taiga Hiroka, Tomoyuki Morimae
2024 J jnl
Quantum Group Actions.
IACR Cryptol. ePrint Arch.
Tomoyuki Morimae, Keita Xagawa
2024 — conf
Quantum Public-Key Encryption with Tamper-Resilient Public Keys from One-Way Functions.
CRYPTO (7)
Fuyuki Kitagawa, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa
2024 — conf
Quantum Unpredictability.
ASIACRYPT (9)
Tomoyuki Morimae, Shogo Yamada, Takashi Yamakawa
2024 J jnl
Quantum Unpredictability.
CoRR
Tomoyuki Morimae, Shogo Yamada, Takashi Yamakawa
2024 J jnl
Quantum Unpredictability.
IACR Cryptol. ePrint Arch.
Tomoyuki Morimae, Shogo Yamada, Takashi Yamakawa
2024 — conf
Revocable Quantum Digital Signatures.
TQC
Tomoyuki Morimae, Alexander Poremba, Takashi Yamakawa
2024 — conf
Unconditionally Secure Commitments with Quantum Auxiliary Inputs.
CRYPTO (7)
Tomoyuki Morimae, Barak Nehoran, Takashi Yamakawa
2023 J jnl
A Note on Output Length of One-Way State Generators.
CoRR
Minki Hhan, Tomoyuki Morimae, Takashi Yamakawa
2023 J jnl
Certified Everlasting Secure Collusion-Resistant Functional Encryption, and More.
CoRR
Taiga Hiroka, Fuyuki Kitagawa, Tomoyuki Morimae, Ryo Nishimaki, Tapas Pal, Takashi Yamakawa
2023 J jnl
Certified Everlasting Secure Collusion-Resistant Functional Encryption, and More.
IACR Cryptol. ePrint Arch.
Taiga Hiroka, Fuyuki Kitagawa, Tomoyuki Morimae, Ryo Nishimaki, Tapas Pal, Takashi Yamakawa
2023 — conf
From the Hardness of Detecting Superpositions to Cryptography: Quantum Public Key Encryption and Commitments.
EUROCRYPT (1)
Minki Hhan, Tomoyuki Morimae, Takashi Yamakawa
2023 A* conf
Improved Hardness Results for the Guided Local Hamiltonian Problem.
ICALP
Chris Cade, Marten Folkertsma, Sevag Gharibian, Ryu Hayakawa, François Le Gall, Tomoyuki Morimae, Jordi Weggemans
2023 A conf
Proofs of Quantumness from Trapdoor Permutations.
ITCS
Tomoyuki Morimae, Takashi Yamakawa
2023 J jnl
Quantum Advantage from One-Way Functions.
CoRR
Tomoyuki Morimae, Takashi Yamakawa
2023 J jnl
Quantum Advantage from One-Way Functions.
IACR Cryptol. ePrint Arch.
Tomoyuki Morimae, Takashi Yamakawa
2023 J jnl
Quantum Public-Key Encryption with Tamper-Resilient Public Keys from One-Way Functions.
CoRR
Fuyuki Kitagawa, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa
2023 J jnl
Quantum Public-Key Encryption with Tamper-Resilient Public Keys from One-Way Functions.
IACR Cryptol. ePrint Arch.
Fuyuki Kitagawa, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa
2023 J jnl
Revocable Quantum Digital Signatures.
CoRR
Tomoyuki Morimae, Alexander Poremba, Takashi Yamakawa
2023 J jnl
Revocable Quantum Digital Signatures.
IACR Cryptol. ePrint Arch.
Tomoyuki Morimae, Alexander Poremba, Takashi Yamakawa
2023 J jnl
Unconditionally Secure Commitments with Quantum Auxiliary Inputs.
CoRR
Tomoyuki Morimae, Barak Nehoran, Takashi Yamakawa
2023 J jnl
Unconditionally Secure Commitments with Quantum Auxiliary Inputs.
IACR Cryptol. ePrint Arch.
Tomoyuki Morimae, Barak Nehoran, Takashi Yamakawa
2022 — ed.
17th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2022, Urbana Champaign, Illinois, USA, July 11-15, 2022
TQC
François Le Gall, Tomoyuki Morimae
2022 J jnl
Certified Everlasting Functional Encryption.
CoRR
Taiga Hiroka, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa
2022 J jnl
Certified Everlasting Functional Encryption.
IACR Cryptol. ePrint Arch.
Taiga Hiroka, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa
2022 — conf
Certified Everlasting Zero-Knowledge Proof for QMA.
CRYPTO (1)
Taiga Hiroka, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa
2022 — conf
Classically Verifiable NIZK for QMA with Preprocessing.
ASIACRYPT (4)
Tomoyuki Morimae, Takashi Yamakawa
2022 J jnl
Classically Verifiable NIZK for QMA with Preprocessing.
IACR Cryptol. ePrint Arch.
Tomoyuki Morimae, Takashi Yamakawa
2022 J jnl
Divide-and-conquer verification method for noisy intermediate-scale quantum computation.
Quantum
Yuki Takeuchi, Yasuhiro Takahashi, Tomoyuki Morimae, Seiichiro Tani
2022 J jnl
From the Hardness of Detecting Superpositions to Cryptography: Quantum Public Key Encryption and Commitments.
CoRR
Minki Hhan, Tomoyuki Morimae, Takashi Yamakawa
2022 J jnl
From the Hardness of Detecting Superpositions to Cryptography: Quantum Public Key Encryption and Commitments.
IACR Cryptol. ePrint Arch.
Minki Hhan, Tomoyuki Morimae, Takashi Yamakawa
2022 J jnl
Improved Hardness Results for the Guided Local Hamiltonian Problem.
CoRR
Sevag Gharibian, Ryu Hayakawa, François Le Gall, Tomoyuki Morimae
2022 J jnl
One-Wayness in Quantum Cryptography.
CoRR
Tomoyuki Morimae, Takashi Yamakawa
2022 J jnl
One-Wayness in Quantum Cryptography.
IACR Cryptol. ePrint Arch.
Tomoyuki Morimae, Takashi Yamakawa
2022 J jnl
Proofs of Quantumness from Trapdoor Permutations.
CoRR
Tomoyuki Morimae, Takashi Yamakawa
2022 J jnl
Proofs of Quantumness from Trapdoor Permutations.
IACR Cryptol. ePrint Arch.
Tomoyuki Morimae, Takashi Yamakawa
2022 — conf
Quantum Commitments and Signatures Without One-Way Functions.
CRYPTO (1)
Tomoyuki Morimae, Takashi Yamakawa
2022 J jnl
Sumcheck-based delegation of quantum computing to rational server.
Theor. Comput. Sci.
Yuki Takeuchi, Tomoyuki Morimae, Seiichiro Tani
2021 J jnl
Certified Everlasting Zero-Knowledge Proof for QMA.
CoRR
Taiga Hiroka, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa
2021 J jnl
Certified Everlasting Zero-Knowledge Proof for QMA.
IACR Cryptol. ePrint Arch.
Taiga Hiroka, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa
2021 J jnl
Classically Verifiable (Dual-Mode) NIZK for QMA with Preprocessing.
CoRR
Tomoyuki Morimae, Takashi Yamakawa
2021 — conf
Quantum Encryption with Certified Deletion, Revisited: Public Key, Attribute-Based, and Classical Communication.
ASIACRYPT (1)
Taiga Hiroka, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa
2021 J jnl
Quantum Encryption with Certified Deletion, Revisited: Public Key, Attribute-Based, and Classical Communication.
CoRR
Taiga Hiroka, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa
2021 J jnl
Quantum Encryption with Certified Deletion, Revisited: Public Key, Attribute-Based, and Classical Communication.
IACR Cryptol. ePrint Arch.
Taiga Hiroka, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa
2021 J jnl
Quantum commitments and signatures without one-way functions.
CoRR
Tomoyuki Morimae, Takashi Yamakawa
2021 J jnl
Quantum commitments and signatures without one-way functions.
IACR Cryptol. ePrint Arch.
Tomoyuki Morimae, Takashi Yamakawa
2021 J jnl
computing.
Quantum Inf. Comput.
Tomoyuki Morimae
2020 J jnl
Additive-error fine-grained quantum supremacy.
Quantum
Tomoyuki Morimae, Suguru Tamaki
2020 J jnl
Information-theoretically-sound non-interactive classical verification of quantum computing with trusted center.
CoRR
Tomoyuki Morimae
2020 J jnl
Quantum randomized encoding, verification of quantum computing, no-cloning, and blind quantum computing.
CoRR
Tomoyuki Morimae
2020 J jnl
Rational proofs for quantum computing.
Quantum Inf. Comput.
Tomoyuki Morimae, Harumichi Nishimura
2020 C conf
Sumcheck-Based Delegation of Quantum Computing to Rational Server.
TAMC
Yuki Takeuchi, Tomoyuki Morimae, Seiichiro Tani
2019 J jnl
Arbitrable blind quantum computation.
Quantum Inf. Process.
Go Sato, Takeshi Koshiba, Tomoyuki Morimae
2019 J jnl
Depth-scaling fine-grained quantum supremacy based on SETH and qubit-scaling fine-grained quantum supremacy based on Orthogonal Vectors and 3-SUM.
CoRR
Tomoyuki Morimae, Suguru Tamaki
2019 J jnl
Fine-grained quantum computational supremacy.
CoRR
Tomoyuki Morimae, Suguru Tamaki
2019 J jnl
Fine-grained quantum computational supremacy.
Quantum Inf. Comput.
Tomoyuki Morimae, Suguru Tamaki
2019 J jnl
Impossibility Of Perfectly-Secure Ono-Round Delegated Quantum Computing for classical client.
Quantum Inf. Comput.
Tomoyuki Morimae, Takeshi Koshiba
2019 J jnl
Impossibility of blind quantum sampling for classical client.
Quantum Inf. Comput.
Tomoyuki Morimae, Harumichi Nishimura, Yuki Takeuchi, Seiichiro Tani
2019 J jnl
Sumcheck-based delegation of quantum computing to rational server.
CoRR
Yuki Takeuchi, Tomoyuki Morimae, Seiichiro Tani
2018 J jnl
Impossibility of blind quantum sampling for classical client.
CoRR
Tomoyuki Morimae, Harumichi Nishimura, Yuki Takeuchi, Seiichiro Tani
2018 B conf
Interactive Proofs with Polynomial-Time Quantum Prover for Computing the Order of Solvable Groups.
MFCS
François Le Gall, Tomoyuki Morimae, Harumichi Nishimura, Yuki Takeuchi
2018 J jnl
Interactive Proofs with Polynomial-Time Quantum Prover for Computing the Order of Solvable Groups.
CoRR
François Le Gall, Tomoyuki Morimae, Harumichi Nishimura, Yuki Takeuchi
2018 J jnl
Merlin-Arthur with efficient quantum Merlin and quantum supremacy for the second level of the Fourier hierarchy.
Quantum
Tomoyuki Morimae, Yuki Takeuchi, Harumichi Nishimura
2018 J jnl
Rational proofs for quantum computing.
CoRR
Tomoyuki Morimae, Harumichi Nishimura
2017 J jnl
Hardness of classically sampling one clean qubit model with constant total variation distance error.
CoRR
Tomoyuki Morimae
2017 J jnl
Merlin-Arthur with efficient quantum Merlin and quantum supremacy for the second level of the Fourier hierarchy.
CoRR
Tomoyuki Morimae, Yuki Takeuchi, Harumichi Nishimura
2017 J jnl
Merlinization of complexity classes above BQP.
CoRR
Tomoyuki Morimae, Harumichi Nishimura
2017 J jnl
Merlinization of complexity classes above BQP.
Quantum Inf. Comput.
Tomoyuki Morimae, Harumichi Nishimura
2017 J jnl
Modified Group Non-Membership is in Promise-AWPP relative to group oracles.
Quantum Inf. Comput.
Tomoyuki Morimae, Harumichi Nishimura, Francois Le Gall
2016 J jnl
Finding resource states of measurement-based quantum computing is harder than quantum computing.
CoRR
Tomoyuki Morimae
2016 J jnl
Modified group non-membership is in AWPP.
CoRR
Tomoyuki Morimae, Harumichi Nishimura, Francois Le Gall
2016 A* conf
Power of Quantum Computation with Few Clean Qubits.
ICALP
Keisuke Fujii, Hirotada Kobayashi, Tomoyuki Morimae, Harumichi Nishimura, Shuhei Tamate, Seiichiro Tani
2016 J jnl
Power of one non-clean qubit.
CoRR
Tomoyuki Morimae, Keisuke Fujii, Harumichi Nishimura
2016 J jnl
Quantum Arthur-Merlin with single-qubit measurements.
CoRR
Tomoyuki Morimae
2016 J jnl
Quantum Merlin-Arthur with noisy channel.
CoRR
Tomoyuki Morimae, Keisuke Fujii, Harumichi Nishimura
2016 J jnl
Quantum interpretations of AWPP and APP.
Quantum Inf. Comput.
Tomoyuki Morimae, Harumichi Nishimura
2016 J jnl
Quantum state and circuit distinguishability with single-qubit measurements.
CoRR
Tomoyuki Morimae
2016 A* conf
Space-Efficient Error Reduction for Unitary Quantum Computations.
ICALP
Bill Fefferman, Hirotada Kobayashi, Cedric Yen-Yu Lin, Tomoyuki Morimae, Harumichi Nishimura
2016 J jnl
Space-Efficient Error Reduction for Unitary Quantum Computations.
CoRR
Bill Fefferman, Hirotada Kobayashi, Cedric Yen-Yu Lin, Tomoyuki Morimae, Harumichi Nishimura
2015 J jnl
Ground state blind quantum computation on AKLT state.
Quantum Inf. Comput.
Tomoyuki Morimae, Vedran Dunjko, Elham Kashefi
2015 J jnl
Power of Quantum Computation with Few Clean Qubits.
CoRR
Keisuke Fujii, Hirotada Kobayashi, Tomoyuki Morimae, Harumichi Nishimura, Shuhei Tamate, Seiichiro Tani
2015 J jnl
Power of quantum computing with restricted postselections.
CoRR
Tomoyuki Morimae, Harumichi Nishimura
2015 J jnl
Quantum Merlin-Arthur with Clifford Arthur.
Quantum Inf. Comput.
Tomoyuki Morimae, Masahito Hayashi, Harumichi Nishimura, Keisuke Fujii
2015 J jnl
Quantum proofs can be verified using only single qubit measurements.
CoRR
Tomoyuki Morimae, Daniel Nagaj, Norbert Schuch
2014 C conf
Basics and applications of measurement-based quantum computing.
ISITA
Tomoyuki Morimae
2014 J jnl
Impossibility of Classically Simulating One-Clean-Qubit Computation.
CoRR
Keisuke Fujii, Hirotada Kobayashi, Tomoyuki Morimae, Harumichi Nishimura, Shuhei Tamate, Seiichiro Tani
2013 J jnl
On the hardness of classically simulating the one clean qubit model.
CoRR
Tomoyuki Morimae, Keisuke Fujii, Joseph F. Fitzsimons
2013 J jnl
Quantum Commuting Circuits and Complexity of Ising Partition Functions.
CoRR
Keisuke Fujii, Tomoyuki Morimae