Vierailuluento: Giulio Malavolta "Can we obfuscate quantum circuits?"
Can we obfuscate quantum circuits?
Max Planck Institute for Security and Privacy (MPI-SP)
Abstract: In this talk we investigate the following questions: Can we obfuscate quantum circuits? We discuss definitions, opportunities and barriers towards achieving this new “holy grail” of quantum cryptography. We present a construction for null quantum circuits (i.e., quantum circuits that always reject) assuming:
- The quantum hardness of learning with errors (LWE).
- Post-quantum indistinguishability obfuscation for classical circuits.
- A notion of ''dual-mode'' classical verification of quantum. computation (CVQC).
Then we show how quantum null-iO enables a series of new cryptographic primitives that were not know to exist prior to our work. If time permits, we will also survey the state of the art in post-quantum obfuscation for classical circuits.
Based on a joint work with James Bartusek (presented at QIP’22 and ITCS’22)
Bio: I am tenure-track faculty (= Assistant Professor) at the Max Planck Institute for Security and Privacy (MPI-SP) where I am the head of the Cryptographic Systems group. My research focuses on mathematical aspects of asymmetric cryptography. I am also broadly interested in the intersections with other disciplines, e.g., computer security, cryptocurrencies, concurrent systems, formal methods, game theory, and quantum computing.
Prior to joining MPI-SP, I was a PostDoc with a joint appointment at UC Berkeley (working with Sanjam Garg) and at Carnegie Mellon University (working with Vipul Goyal). In fall 2019 I was a research fellow at the Simons Institute for the Theory of Computing. I completed my Ph.D. in June 2019 at Friedrich-Alexander University under the supervision of Dominique Schröder.