activity
20042026
most citedVisualization of superposition of macroscopically distinct states

9 citations · 33 across the 26 of their papers we have counts for

collaborators
Showing 2023Show all

6 papers · 1 filter

quant-ph2023★ 1 cited

Revocable Quantum Digital Signatures

Tomoyuki Morimae, Alexander Poremba, Takashi Yamakawa

We study digital signatures with revocation capabilities and show two results. First, we define and construct digital signatures with revocable signing keys from the LWE assumption…

quant-ph2023

A Note on Output Length of One-Way State Generators and EFIs

Minki Hhan, Tomoyuki Morimae, Takashi Yamakawa

We study the output length of one-way state generators (OWSGs), their weaker variants, and EFIs. - Standard OWSGs. Recently, Cavalar et al. (arXiv:2312.08363) give OWSGs with -q…

quant-ph2023★ 7 cited

Unconditionally Secure Commitments with Quantum Auxiliary Inputs

Tomoyuki Morimae, Barak Nehoran, Takashi Yamakawa

We show the following unconditional results on quantum commitments in two related yet different models: 1. We revisit the notion of quantum auxiliary-input commitments introduced b…

quant-ph2023★ 3 cited

Quantum Public-Key Encryption with Tamper-Resilient Public Keys from One-Way Functions

Fuyuki Kitagawa, Tomoyuki Morimae, Ryo Nishimaki +1

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 o…

quant-ph2023

Certified Everlasting Secure Collusion-Resistant Functional Encryption, and More

Taiga Hiroka, Fuyuki Kitagawa, Tomoyuki Morimae +3

We study certified everlasting secure functional encryption (FE) and many other cryptographic primitives in this work. Certified everlasting security roughly means the following. A…

quant-ph2023★ 1 cited

Quantum Advantage from One-Way Functions

Tomoyuki Morimae, Takashi Yamakawa

We demonstrate quantum advantage with several basic assumptions, specifically based on only the existence of OWFs. We introduce inefficient-verifier proofs of quantumness (IV-PoQ),…