Fermi Ma

I am a Simons-Berkeley Postdoctoral Fellow hosted by Prof. Umesh Vazirani. I earned my Ph.D. at Princeton in 2021, where I was advised by Prof. Mark Zhandry. Before that, I received my B.S. in mathematics from MIT.

I am broadly interested in the theoretical foundations of cryptography, particularly as it relates to quantum information and quantum computation.

CV (as of October 2022)
[email protected]

Papers

Authors on all papers are in alphabetical order.

  1. Commitments to Quantum States [pdf]
    Sam Gunn, Nathan Ju, Fermi Ma, and Mark Zhandry

  2. Post-Quantum Zero Knowledge, Revisited (or: How to Do Quantum Rewinding Undetectably) [pdf]
    Alex Lombardi, Fermi Ma, and Nicholas Spooner
    FOCS 2022

  3. Succinct Classical Verification of Quantum Computation [pdf]
    James Bartusek, Yael Kalai, Alex Lombardi, Fermi Ma, Giulio Malavolta, Vinod Vaikuntanathan, Thomas Vidick, and Lisa Yang
    CRYPTO 2022

  4. Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier [pdf]
    Alessandro Chiesa, Fermi Ma, Nicholas Spooner, and Mark Zhandry
    FOCS 2021 (Invited to the SICOMP Special Issue for FOCS 2021), QIP 2022, QCRYPT 2021

  5. One-Way Functions Imply Secure Computation in a Quantum World [pdf]
    James Bartusek, Andrea Coladangelo, Dakshita Khurana, and Fermi Ma
    CRYPTO 2021, QIP 2021 (Long plenary talk), QCRYPT 2021 (Invited talk)

  6. On the Round Complexity of Secure Quantum Computation [pdf]
    James Bartusek, Andrea Coladangelo, Dakshita Khurana, and Fermi Ma
    CRYPTO 2021, QIP 2021, QCRYPT 2021

  7. Does Fiat-Shamir Require a Cryptographic Hash Function? [pdf]
    Yilei Chen, Alex Lombardi, Fermi Ma, and Willy Quach
    CRYPTO 2021

  8. Leakage-Resilient Key Exchange and Two-Seed Extractors [pdf]
    Xin Li, Fermi Ma, Willy Quach, and Daniel Wichs
    CRYPTO 2020

  9. Affine Determinant Programs: A Framework for Obfuscation and Witness Encryption [pdf]
    James Bartusek, Yuval Ishai, Aayush Jain, Fermi Ma, Amit Sahai, and Mark Zhandry
    ITCS 2020

  10. On the (In)security of Kilian-Based SNARGs [pdf]
    James Bartusek, Liron Bronfman, Justin Holmgren, Fermi Ma, and Ron D. Rothblum
    TCC 2019

  11. Public-Key Function Private Hidden Vector Encryption and More [pdf]
    James Bartusek, Brent Carmer, Abhishek Jain, Zhengzhong Jin, Tancrède Lepoint, Fermi Ma, Tal Malkin, Alex J. Malozemoff, and Mariana Raykova
    ASIACRYPT 2019

  12. The Distinction Between Fixed and Random Generators in Group-Based Assumptions [pdf]
    James Bartusek, Fermi Ma, and Mark Zhandry
    CRYPTO 2019

  13. New Techniques for Obfuscating Conjunctions [pdf]
    James Bartusek, Tancrède Lepoint, Fermi Ma, and Mark Zhandry
    EUROCRYPT 2019

  14. Return of GGH15: Provable Security Against Zeroizing Attacks [pdf]
    James Bartusek, Jiaxin Guan, Fermi Ma, and Mark Zhandry
    TCC 2018

  15. The MMAP Strikes Back: Obfuscation and New Multilinear Maps Immune to CLT13 Zeroizing Attacks [pdf]
    Fermi Ma and Mark Zhandry
    TCC 2018

  16. Encryptor Combiners: A Unified Approach to Multiparty NIKE, (H)IBE, and Broadcast Encryption [pdf]
    Fermi Ma and Mark Zhandry

Talks

  1. Post-Quantum Zero Knowledge, Revisited (or: How to Do Quantum Rewinding Undetectably) [Slides]
    FOCS 2022 (November 2022)

  2. Post-Quantum Proof Techniques
    IPAM Graduate Summer School on Post-quantum and Quantum Cryptography (July 2022)
    Part 1: Introduction to Quantum Rewinding [Slides] [Video]
    Part 2: How to Rewind a Quantum Attacker Many Times [Slides] [Video]

  3. Quantum Rewinding Tutorial
    presented with Alex Lombardi at the Simons Institute’s Quantum and Lattices Joint Reunion Workshop (June 2022)
    Part 1: Motivation and Early Rewinding Techniques (by Alex and Fermi) [Slides] [Video]
    Part 2: How to Rewind a Quantum Attacker Many Times (by Fermi) [Slides] [Video]
    Part 3: Zero Knowledge Simulation Beyond Watrous (by Alex) [Slides] [Video]

  4. Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier [Slides]
    QIP 2022 (March 2022)
    Simons Quantum Colloquium (Oct 2021) [Video] [Panel Discussion]
    QCRYPT 2021 (August 2021)
    MIT Cryptography and Information Security Seminar (May 2021)
    Weizmann + Tel Aviv University Seminar (April 2021)
    Cornell Crypto Seminar (April 2021)
    NTT Research (April 2021)

  5. Quantum Security and Fiat-Shamir for Cryptographic Protocols [Slides]
    PhD Defense Talk (August 2021)

  6. Does Fiat-Shamir Require a Cryptographic Hash Function? [Slides]
    CRYPTO 2021 (August 2021)
    UIUC (November 2020)
    NTT Research (August 2020)

  7. On the (In)security of Kilian-Based SNARGs [Slides]
    Tokyo Crypto Day (December 2019)
    Charles River Crypto Day (November 2019)

  8. Public-Key Function-Private Hidden Vector Encryption (and More) [Slides]
    ASIACRYPT 2019 (December 2019)

  9. The Distinction Between Fixed and Random Generators in Group-Based Assumptions [Slides]
    CRYPTO 2019 (August 2019)

  10. Affine Determinant Programs: A New Approach to Obfuscation [Slides]
    New Roads to Cryptopia, a CRYPTO 2019 affiliated event (August 2019)

  11. New Techniques for Obfuscating Conjunctions [Slides]
    EUROCRYPT 2019 (May 2019)
    New York Crypto Day (May 2019)
    UC Berkeley Cryptography Seminar (February 2019)
    Weizmann Cryptography Seminar (February 2019)
    Technion Theory Lunch (January 2019)
    IDC Herzliya (January 2019)
    SRI International (August 2018)

  12. A Weak Model for the CLT13 Multilinear Maps [Slides]
    TCC 2018 (November 2018)
    UCLA Cryptography Seminar (April 2018)

  13. Encryptor Combiners [Slides]
    Princeton General Exam Talk (May 2017)

Service

I have served on (or will serve on) the following program committees: