activity
20162026
most citedPost-Quantum Zero-Knowledge with Space-Bounded Simulation

2 citations · 6 across the 7 of their papers we have counts for

collaborators
Showing 2025Show all

7 papers · 1 filter

quant-ph2025

Computational Monogamy of Entanglement and Non-Interactive Quantum Key Distribution

Alex B. Grilo, Giulio Malavolta, Michael Walter +1

Quantum key distribution (QKD) enables Alice and Bob to exchange a secret key over a public, untrusted quantum channel. Compared to classical key exchange, QKD achieves everlasting…

cs.CR2025

Cryptography from Lossy Reductions: Towards OWFs from ETH, and Beyond

Pouria Fallahpour, Alex B. Grilo, Garazi Muguruza +1

One-way functions (OWFs) form the foundation of modern cryptography, yet their unconditional existence remains a major open question. In this work, we study this question by explor…

quant-ph2025

Security of a secret sharing protocol on the Qline

Alex B. Grilo, Lucas Hanouz, Anne Marin

Secret sharing is a fundamental primitive in cryptography, and it can be achieved even with perfect security. However, the distribution of shares requires computational assumptions…

quant-ph2025

Quantum pseudoresources imply cryptography

Alex B. Grilo, Álvaro Yángüez

While one-way functions (OWFs) serve as the minimal assumption for computational cryptography in the classical setting, in quantum cryptography, we have even weaker cryptographic a…

quant-ph2025

A classical proof of quantum knowledge for multi-prover interactive proof systems

Anne Broadbent, Alex B. Grilo, Nagisa Hara +1

In a proof of knowledge (PoK), a verifier becomes convinced that a prover possesses privileged information. In combination with zero-knowledge proof systems, PoKs play an important…

cs.DC20252 cited

Distributed Non-Interactive Zero-Knowledge Proofs

Alex B. Grilo, Ami Paz, Mor Perry

Distributed certification is a set of mechanisms that allows an all-knowing prover to convince the units of a communication network that the network's state has some desired proper…