Research activity

2015-2025 Publications

• 2025
  • P. Fallahpour, Alex B. Grilo, G. Muguruza, M. Riahinia : “Cryptography from Lossy Reductions: Towards OWFs from ETH, and Beyond”, (2025)
  • Alex B. Grilo, L. Hanouz, A. Marin : “Security of a secret sharing protocol on the Qline”, (2025)
  • Alex B. Grilo, Á. Yángüez : “Quantum pseudoresources imply cryptography”, (2025)
  • A. Grilo, Ph. Lamontagne : “The Round Complexity of Proofs in the Bounded Quantum Storage Model”, IACR Communications in Cryptology, vol. 2 (1), (International Association for Cryptologic Research (IACR)) (2025)
  • A. Broadbent, Alex B. Grilo, N. Hara, A. Mehta : “A classical proof of quantum knowledge for multi-prover interactive proof systems”, (2025)
  • Alex B. Grilo, A. Paz, M. Perry : “Distributed Non-Interactive Zero-Knowledge Proofs”, (2025)
  • Alex B. Grilo, R. Movassagh : “Quantum function secret sharing”, (2025)
  • L. Monbroussou, J. Landman, L. Wang, A. Grilo, E. Kashefi : “Subspace preserving quantum convolutional neural network architectures”, Quantum Science and Technology, (IOP Science) (2025)
• 2024
  • A. Broadbent, Alex B. Grilo, S. Podder, J. Sikora : “The Role of piracy in quantum proofs”, (2024)
  • F. Magniez, A. Bredariol Grilo : “19^th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2024)”, Leibniz International Proceedings in Informatics, vol. 310, (Leibniz-Zentrum für Informatik), (ISBN: 978-3-95977-328-7) (2024)
  • A. Raza, J. Eisert, Alex B. Grilo : “Complexity of geometrically local stoquastic Hamiltonians”, (2024)
  • E. Diamanti, Alex B. Grilo, A. Innocenzi, P. Lefebvre, V. Yacoub, Á. Yángüez : “A Practical Protocol for Quantum Oblivious Transfer from One-Way Functions”, (2024)
  • A. Bredariol Grilo, E. Kashefi, D. Markham, M. De Oliveira : “The power of shallow-depth Toffoli and qudit quantum circuits”, (2024)
  • S. Bouaziz‑‑Ermann, A. Bredariol Grilo, D. Vergnaud, Q.‑H. Vu : “Towards the Impossibility of Quantum Public Key Encryption with Classical Keys from One-Way Functions”, IACR Communications in Cryptology, (International Association for Cryptologic Research (IACR)) (2024)
  • A. Coladangelo, A. Grilo, S. Jeffery, Th. Vidick : “Verifier-on-a-Leash: New Schemes for Verifiable Delegated Quantum Computation, with Quasilinear Resources”, Theory of Computing, vol. 20 (1), pp. 1-87, (University of Chicago, Department of Computer Science) (2024)
• 2023
  • L. Monbroussou, J. Landman, A. Bredariol Grilo, R. Kukla, E. Kashefi : “Trainability and Expressivity of Hamming-Weight Preserving Quantum Circuits for Machine Learning”, (2023)
  • S. Bouaziz‑‑Ermann, A. Bredariol Grilo, D. Vergnaud : “Quantum security of subset cover problems”, 4^th Conference on Information-Theoretic Cryptography (ITC 2023), vol. 267, Leibniz International Proceedings in Informatics (LIPIcs), Aahrus, Denmark, pp. 9:1-9:17, (Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik), (ISBN: 978-3-95977-271-6) (2023)
  • A. Bredariol Grilo, O. Sattath, Q.‑H. Vu : “Encryption with Quantum Public Keys”, (2023)
  • Kh. Barooti, A. Bredariol Grilo, L. Huguenin‑Dumittan, G. Malavolta, O. Sattath, Q.‑H. Vu, M. Walter : “Public-Key Encryption with Quantum Keys”, Theory of Cryptography - 21^st International Conference, {TCC} 2023, Taipei, Taiwan, November 29 - December 2, 2023, Proceedings, Part {IV}, vol. 14372, Lecture Notes in Computer Science, Taipei (Taiwan), Taiwan, Province of China, pp. 198-227, (Springer Nature Switzerland) (2023)
• 2022
  • P. Ananth, A. Bredariol Grilo : “Post-Quantum Zero-Knowledge with Space-Bounded Simulation”, (2022)
  • A. Broadbent, A. Bredariol Grilo : “QMA-Hardness of Consistency of Local Density Matrices with Applications to Quantum Zero-Knowledge”, SIAM Journal on Computing, vol. 51 (4), pp. 1400-1450, (Society for Industrial and Applied Mathematics) (2022)
  • S. Arunachalam, A. Bredariol Grilo, T. Gur, I. Oliveira, A. Sundaram : “Quantum learning algorithms imply circuit lower bounds”, 2021 IEEE 62^nd Annual Symposium on Foundations of Computer Science (FOCS), Denver, United States, pp. 562-573, (IEEE) (2022)
• 2021
  • A. Bredariol Grilo, K. Hövelmanns, A. Hülsing, Ch. Majenz : “Tight adaptive reprogramming in the QROM”, Advances in Cryptology - ASIACRYPT 2021 - 27^th International Conference on the Theory and Application of Cryptology and Information Security, vol. 13090, Lecture Notes in Computer Science, Singapore, Singapore, pp. 637-667, (Springer) (2021)
  • A. Bredariol Grilo, H. Lin, F. Song, V. Vaikuntanathan : “Oblivious Transfer is in MiniQCrypt”, Advances in Cryptology - EUROCRYPT 2021 - 40^th Annual International Conference on the Theory and Applications of Cryptographic Techniques, vol. 12697, Lecture Notes in Computer Science, Zagreb, Croatia, pp. 531-561, (Springer) (2021)
  • J. Czajkowski, A. Grilo : “On-State Commutativity of Measurements and Joint Distributions of Their Outcomes”, (2021)
  • D. Aharonov, A. Grilo : “Two combinatorial MA-complete problems”, 12^th Innovations in Theoretical Computer Science Conference (ITCS 2021), vol. 185, Leibniz International Proceedings in Informatics (LIPIcs), Online, France, pp. 36:1-36:20, (Schloss Dagstuhl--Leibniz-Zentrum für Informatik) (2021)
  • S. Arunachalam, A. Grilo, A. Sundaram : “Quantum hardness of learning shallow classical circuits”, SIAM Journal on Computing, vol. 50 (3), pp. 972-1013, (Society for Industrial and Applied Mathematics) (2021)
• 2020
  • S. Arunachalam, A. Grilo, H. Yuen : “Quantum statistical query learning”, (2020)
  • G. Alagic, Andrew M. Childs, A. Grilo, Sh. Hung : “Non-interactive classical verification of quantum computation”, Theory of Cryptography - 18^th International Conference, TCC 2020, vol. 12552, Lecture Notes in Computer Science, Durham, United States, pp. 153-180, (Springer) (2020)
  • D. Aharonov, A. Bredariol Grilo, Y. Liu : “StoqMA vs. MA: the power of error reduction”, (2020)
  • A. Broadbent, A. Bredariol Grilo : “QMA-Hardness of Consistency of Local Density Matrices with Applications to Quantum Zero-Knowledge”, IEEE 61^st Annual Symposium on Foundations of Computer Science (FOCS), Virtual, United States, (IEEE) (2020)
  • Y. Dulek, A. Grilo, S. Jeffery, Ch. Majenz, Ch. Schaffner : “Secure Multi-party Quantum Computation with a Dishonest Majority”, Advances in Cryptology - {EUROCRYPT} 2020 - 39^th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, May 10-14, 2020, Proceedings, Part {III}, vol. 12107, Lecture Notes in Computer Science, Zagreb, Croatia, pp. 729-758, (Springer) (2020)
• 2019
  • A. Grilo, W. Slofstra, H. Yuen : “Perfect Zero Knowledge for Quantum Multiprover Interactive Proofs”, 2019 IEEE 60^th Annual Symposium on Foundations of Computer Science (FOCS), Baltimore, United States, pp. 611-635, (IEEE) (2019)
  • D. Aharonov, A. Bredariol Grilo : “Stoquastic PCP vs. Randomness”, 2019 IEEE 60^th Annual Symposium on Foundations of Computer Science (FOCS), Baltimore, United States, pp. 1000-1023 (2019)
  • A. Bredariol Grilo : “A Simple Protocol for Verifiable Delegation of Quantum Computation in One Round”, 46^th International Colloquium on Automata, Languages, and Programming, {ICALP} 2019, July 9-12, 2019, Patras, Greece, vol. 132, Patras, Greece, pp. 28:1-28:13 (2019)
  • A. Coladangelo, A. Grilo, S. Jeffery, Th. Vidick : “Verifier-on-a-Leash: New Schemes for Verifiable Delegated Quantum Computation, with Quasilinear Resources”, Advances in Cryptology - {EUROCRYPT} 2019 - 38^th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19-23, 2019, Proceedings, Part III, vol. 11478, Darmstadt, Germany, pp. 247-277 (2019)
  • A. Grilo, I. Kerenidis, T. Zijlstra : “Learning-with-errors problem is easy with quantum samples”, Physical Review A, vol. 99 (3), (American Physical Society) (2019)
• 2016
  • A. Bredariol Grilo, I. Kerenidis, A. Pereszlényi : “Pointer Quantum PCPs and Multi-Prover Games”, 41^st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, vol. 58, Kraków, Poland, pp. 21:1-21:14 (2016)
  • A. Bredariol Grilo, I. Kerenidis, J. Sikora : “QMA with Subset State Witnesses”, Chicago Journal of Theoretical Computer Science, vol. 2016 (4), pp. 1-17, (University of Chicago Department of Computer Science) (2016)
• 2015
  • A. Bredariol Grilo, I. Kerenidis, J. Sikora : “QMA with Subset State Witnesses”, Mathematical Foundations of Computer Science 2015 - 40^th International Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II, Milan, Italy, pp. 163-174 (2015)