| 2026 | EuroCrypt | The Structured Generic-Group Model. | Henry Corrigan-Gibbs, Alexandra Henzinger, David J. Wu |
| 2025 | EuroCrypt | Somewhat Homomorphic Encryption from Linear Homomorphism and Sparse LPN. | Henry Corrigan-Gibbs, Alexandra Henzinger, Yael Tauman Kalai, Vinod Vaikuntanathan |
| 2025 | TCC | The Pseudorandomness of Legendre Symbols Under the Quadratic-Residuosity Assumption. | Henry Corrigan-Gibbs, David J. Wu |
| 2024 | CRYPTO | The One-Wayness of Jacobi Signatures. | Henry Corrigan-Gibbs, David J. Wu |
| 2024 | SP | Private Analytics via Streaming, Sketching, and Silently Verifiable Proofs. | Mayank Rathee, Yuwen Zhang, Henry Corrigan-Gibbs, Raluca Ada Popa |
| 2024 | SOSP | Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation. | Anish Athalye, Henry Corrigan-Gibbs, M. Frans Kaashoek, Joseph Tassarotti, Nickolai Zeldovich |
| 2023 | CRYPTO | Arithmetic Sketching. | Dan Boneh, Elette Boyle, Henry Corrigan-Gibbs, Niv Gilboa, Yuval Ishai |
| 2023 | HOTNETS | Lightweb: Private web browsing without all the baggage. | Emma Dauterman, Henry Corrigan-Gibbs |
| 2023 | OSDI | Accountable authentication with privacy protection: The Larch system for universal login. | Emma Dauterman, Danny Lin, Henry Corrigan-Gibbs, David Mazires |
| 2023 | SOSP | Private Web Search with Tiptoe. | Alexandra Henzinger, Emma Dauterman, Henry Corrigan-Gibbs, Nickolai Zeldovich |
| 2022 | EuroCrypt | Single-Server Private Information Retrieval with Sublinear Amortized Time. | Henry Corrigan-Gibbs, Alexandra Henzinger, Dmitry Kogan |
| 2021 | SP | Lightweight Techniques for Private Heavy Hitters. | Dan Boneh, Elette Boyle, Henry Corrigan-Gibbs, Niv Gilboa, Yuval Ishai |
| 2020 | EuroCrypt | Private Information Retrieval with Sublinear Online Time. | Henry Corrigan-Gibbs, Dmitry Kogan |
| 2020 | OSDI | SafetyPin: Encrypted Backups with Human-Memorable Secrets. | Emma Dauterman, Henry Corrigan-Gibbs, David Mazires |
| 2019 | CRYPTO | Zero-Knowledge Proofs on Secret-Shared Data via Fully Linear PCPs. | Dan Boneh, Elette Boyle, Henry Corrigan-Gibbs, Niv Gilboa, Yuval Ishai |
| 2019 | SP | True2F: Backdoor-Resistant Authentication Tokens. | Emma Dauterman, Henry Corrigan-Gibbs, David Mazires, Dan Boneh, Dominic Rizzo |
| 2019 | TCC | The Function-Inversion Problem: Barriers and Opportunities. | Henry Corrigan-Gibbs, Dmitry Kogan |
| 2018 | EuroCrypt | The Discrete-Logarithm Problem with Preprocessing. | Henry Corrigan-Gibbs, Dmitry Kogan |
| 2017 | HotOS | Quantum Operating Systems. | Henry Corrigan-Gibbs, David J. Wu, Dan Boneh |
| 2017 | Mobisys | Trust but Verify: Auditing the Secure Internet of Things. | Judson Wilson, Riad S. Wahby, Henry Corrigan-Gibbs, Dan Boneh, Philip Alexander Levis, Keith Winstein |
| 2017 | NSDI | Prio: Private, Robust, and Scalable Computation of Aggregate Statistics. | Henry Corrigan-Gibbs, Dan Boneh |
| 2017 | SOSP | Atom: Horizontally Scaling Strong Anonymity. | Albert Kwon, Henry Corrigan-Gibbs, Srinivas Devadas, Bryan Ford |
| 2016 | ASIACRYPT | Balloon Hashing: A Memory-Hard Function Providing Provable Protection Against Sequential Attacks. | Dan Boneh, Henry Corrigan-Gibbs, Stuart E. Schechter |
| 2015 | HotOS | Recommendations for Randomness in the Operating System, or How to Keep Evil Children out of Your Pool and Other Random Facts. | Henry Corrigan-Gibbs, Suman Jana |
| 2015 | SP | Riposte: An Anonymous Messaging System Handling Millions of Users. | Henry Corrigan-Gibbs, Dan Boneh, David Mazires |
| 2014 | ASIACRYPT | Bivariate Polynomials Modulo Composites and Their Applications. | Dan Boneh, Henry Corrigan-Gibbs |
| 2013 | CCS | Ensuring high-quality randomness in cryptographic key generation. | Henry Corrigan-Gibbs, Wendy Mu, Dan Boneh, Bryan Ford |
| 2012 | OSDI | Dissent in Numbers: Making Strong Anonymity Scale. | David Isaac Wolinsky, Henry Corrigan-Gibbs, Bryan Ford, Aaron Johnson |
| 2010 | CCS | Dissent: accountable anonymous group messaging. | Henry Corrigan-Gibbs, Bryan Ford |