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.

My research focuses on the interplay between cryptography and quantum computation.

Teaching: In Spring 2023, I co-taught CS:294-236. Cryptography in a Quantum World with Umesh Vazirani.

Curriculum Vitae (as of Feb 2024)
[email protected]

Papers

Authors on all papers are in alphabetical order.

  1. A One-Query Lower Bound for Unitary Synthesis and Breaking Quantum Cryptography [pdf] [slides]
    Alex Lombardi, Fermi Ma, and John Wright
    STOC 2024, QIP 2024

  2. Commitments to Quantum States [pdf] [slides]
    Sam Gunn, Nathan Ju, Fermi Ma, and Mark Zhandry
    STOC 2023, QIP 2023
    Invited to the SICOMP Special Issue for STOC 2023

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

  4. 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

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

  6. 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 at QIP 2021

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

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

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

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

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

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

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

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

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

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

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

Talks

  1. A One-Query Lower Bound for Unitary Synthesis and Breaking Quantum Cryptography [slides]
    QIP 2024 (January 2024)
    Stanford Theory Lunch (Dec 2023)
    MIT Theory of Computation Colloquium (Nov 2023)
    Waterloo Quantum Innovators 2023 (Nov 2023)

  2. Quantum Commitments and Black Hole Radiation Decoding [slides]
    Simons Quantum Summer Cluster Workshop (July 2023) [video]

  3. Commitments to Quantum States [slides]
    Simons Minimal Complexity Assumptions for Cryptography Workshop (May 2023) [video]
    Stanford (January 2023)
    Charles River Crypto Day (December 2022)

  4. Post-Quantum Zero Knowledge, Revisited [slides]
    QIP 2023 (Feburary 2023) [video]
    FOCS 2022 (November 2022)

  5. Quantum Rewinding Tutorial [slides part 1] [slides part 2]
    IPAM Graduate Summer School on Post-quantum and Quantum Cryptography (July 2022)
    Simons Quantum and Lattices Joint Reunion Workshop (June 2022)
    Part 1: Introduction to Quantum Rewinding [video]
    Part 2: How to Rewind a Quantum Attacker Many Times [video]

  6. 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)

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

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

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

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

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

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

  13. 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)

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

Service

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