Pointer Quantum PCPs and Multi-Prover Games. - Alex Bredariol Grilo; Iordanis Kerenidis; Attila Pereszlényi (MFCS, 2016)

QMA with Subset State Witnesses. - Alex B. Grilo; Iordanis Kerenidis; Jamie Sikora (Chic. J. Theor. Comput. Sci., 2016)

Learning with Errors is easy with quantum samples. - Alex Bredariol Grilo; Iordanis Kerenidis (CoRR, 2017)

Relativistic verifiable delegation of quantum computation. - Alex Bredariol Grilo (CoRR, 2017)

Quantum proofs, the local Hamiltonian problem and applications. (Preuves quantiques, le problème des Hamiltoniens locaux et applications). - Alex Bredariol Grilo (2018)

A Simple Protocol for Verifiable Delegation of Quantum Computation in One Round. - Alex B. Grilo (ICALP, 2019)

Zero-Knowledge for QMA from Locally Simulatable Proofs. - Anne Broadbent; Alex B. Grilo (CoRR, 2019)

Stoquastic PCP vs. Randomness. - Dorit Aharonov; Alex Bredariol Grilo (Electron. Colloquium Comput. Complex., 2019)

Perfect zero knowledge for quantum multiprover interactive proofs. - Alex Bredariol Grilo; William Slofstra; Henry Yuen (Electron. Colloquium Comput. Complex., 2019)

Secure Multi-party Quantum Computation with a Dishonest Majority. - Yfke Dulek; Alex B. Grilo; Stacey Jeffery; Christian Majenz; Christian Schaffner (IACR Cryptol. ePrint Arch., 2019)

Quantum statistical query learning. - Srinivasan Arunachalam; Alex B. Grilo; Henry Yuen (CoRR, 2020)

StoqMA vs. MA: the power of error reduction. - Dorit Aharonov; Alex B. Grilo; Yupan Liu (CoRR, 2020)

A combinatorial MA-complete problem. - Dorit Aharonov; Alex Bredariol Grilo (Electron. Colloquium Comput. Complex., 2020)

Quantum learning algorithms imply circuit lower bounds. - Srinivasan Arunachalam; Alex Bredariol Grilo; Tom Gur; Igor C. Oliveira 001; Aarthi Sundaram (Electron. Colloquium Comput. Complex., 2020)

Non-interactive classical verification of quantum computation. - Gorjan Alagic; Andrew M. Childs; Alex B. Grilo; Shih-Han Hung (IACR Cryptol. ePrint Arch., 2020)

Tight adaptive reprogramming in the QROM. - Alex B. Grilo; Kathrin Hövelmanns; Andreas Hülsing; Christian Majenz (IACR Cryptol. ePrint Arch., 2020)

Oblivious Transfer is in MiniQCrypt. - Alex B. Grilo; Huijia Lin; Fang Song 001; Vinod Vaikuntanathan (IACR Cryptol. ePrint Arch., 2020)

Two Combinatorial MA-Complete Problems. - Dorit Aharonov; Alex B. Grilo (ITCS, 2021)

Quantum Hardness of Learning Shallow Classical Circuits. - Srinivasan Arunachalam; Alex Bredariol Grilo; Aarthi Sundaram (SIAM J. Comput., 2021)

Post-Quantum Zero-Knowledge with Space-Bounded Simulation. - Prabhanjan Ananth; Alex B. Grilo (IACR Cryptol. ePrint Arch., 2022)

Quantum security of subset cover problems. - Samuel Bouaziz-Ermann; Alex B. Grilo; Damien Vergnaud (IACR Cryptol. ePrint Arch., 2022)

QMA-Hardness of Consistency of Local Density Matrices with Applications to Quantum Zero-Knowledge. - Anne Broadbent; Alex Bredariol Grilo (SIAM J. Comput., 2022)

Public-Key Encryption with Quantum Keys. - Khashayar Barooti; Alex B. Grilo; Loïs Huguenin-Dumittan; Giulio Malavolta; Or Sattath; Quoc-Huy Vu; Michael Walter 005 (IACR Cryptol. ePrint Arch., 2023)

Encryption with Quantum Public Keys. - Alex B. Grilo; Or Sattath; Quoc Huy Vu (IACR Cryptol. ePrint Arch., 2023)

Towards the Impossibility of Quantum Public Key Encryption with Classical Keys from One-Way Functions. - Samuel Bouaziz-Ermann; Alex B. Grilo; Damien Vergnaud; Quoc-Huy Vu (IACR Commun. Cryptol., 2024)

The power of shallow-depth Toffoli and qudit quantum circuits. - Alex Bredariol Grilo; Elham Kashefi; Damian Markham; Michael de Oliveira (CoRR, 2024)

The Role of piracy in quantum proofs. - Anne Broadbent; Alex B. Grilo; Supartha Podder; Jamie Sikora (CoRR, 2024)

A Practical Protocol for Quantum Oblivious Transfer from One-Way Functions. - Eleni Diamanti; Alex B. Grilo; Adriano Innocenzi; Pascal Lefebvre; Verena Yacoub; Álvaro Yángüez (IACR Cryptol. ePrint Arch., 2024)

Verifier-on-a-Leash: New Schemes for Verifiable Delegated Quantum Computation, with Quasilinear Resources. - Andrea Coladangelo; Alex B. Grilo; Stacey Jeffery; Thomas Vidick (Theory Comput., 2024)

The Round Complexity of Proofs in the Bounded Quantum Storage Model. - Alex B. Grilo; Philippe Lamontagne 001 (IACR Commun. Cryptol., 2025)

Cryptography from Lossy Reductions: Towards OWFs from ETH, and Beyond. - Pouria Fallahpour; Alex B. Grilo; Garazi Muguruza; Mahshid Riahinia (IACR Cryptol. ePrint Arch., 2025)

Security of a secret sharing protocol on the Qline. - Alex B. Grilo; Lucas Hanouz; Anne Marin (IACR Cryptol. ePrint Arch., 2025)

Quantum function secret sharing. - Alex B. Grilo; Ramis Movassagh (IACR Cryptol. ePrint Arch., 2025)

Distributed Non-Interactive Zero-Knowledge Proofs. - Alex B. Grilo; Ami Paz; Mor Perry (IACR Cryptol. ePrint Arch., 2025)

Quantum pseudoresources imply cryptography. - Alex B. Grilo; Álvaro Yángüez (IACR Cryptol. ePrint Arch., 2025)

Trainability and Expressivity of Hamming-Weight Preserving Quantum Circuits for Machine Learning. - Léo Monbroussou; Eliott Z. Mamon; Jonas Landman; Alex B. Grilo; Romain Kukla; Elham Kashefi (Quantum, 2025)