Alex B. Grilo

A Simple Protocol for Verifiable Delegation of Quantum Computation in One Round

Alex B. Grilo, A. B. Grilo, 2017, ICALP.

Secure Multi-party Quantum Computation with a Dishonest Majority

Stacey Jeffery, Christian Schaffner, Yfke Dulek, 2019, IACR Cryptol. ePrint Arch..

Two Combinatorial MA-Complete Problems

Dorit Aharonov, Alex B. Grilo, D. Aharonov, 2020, ITCS.

Quantum learning algorithms imply circuit lower bounds

Srinivasan Arunachalam, Tom Gur, Aarthi Sundaram, 2020, Electron. Colloquium Comput. Complex..

Tight adaptive reprogramming in the QROM pdf

Kathrin Hövelmanns, Andreas Hülsing, Christian Majenz, 2020, IACR Cryptol. ePrint Arch..

Non-interactive classical verification of quantum computation

Shih-Han Hung, Andrew M. Childs, Gorjan Alagic, 2019, IACR Cryptol. ePrint Arch..

Oblivious Transfer is in MiniQCrypt

Vinod Vaikuntanathan, Fang Song, Alex B. Grilo, 2020, IACR Cryptol. ePrint Arch..