Dissent: accountable anonymous group messaging. - Henry Corrigan-Gibbs; Bryan Ford (CCS, 2010)

Accountable Anonymous Group Messaging - Henry Corrigan-Gibbs; Bryan Ford (CoRR, 2010)

Dissent in Numbers: Making Strong Anonymity Scale. - David Isaac Wolinsky; Henry Corrigan-Gibbs; Bryan Ford; Aaron Johnson 001 (OSDI, 2012)

Dining in the Sunshine: Verifiable Anonymous Communication with Verdict - Henry Corrigan-Gibbs; David Isaac Wolinsky; Bryan Ford (CoRR, 2012)

Ensuring high-quality randomness in cryptographic key generation. - Henry Corrigan-Gibbs; Wendy Mu; Dan Boneh; Bryan Ford (CCS, 2013)

FlashPatch: spreading software updates over flash drives in under-connected regions. - Henry Corrigan-Gibbs; Jay Chen (ACM DEV (4), 2013)

Proactively Accountable Anonymous Messaging in Verdict. - Henry Corrigan-Gibbs; David Isaac Wolinsky; Bryan Ford (USENIX Security Symposium, 2013)

Conscript your friends into larger anonymity sets with JavaScript. - Henry Corrigan-Gibbs; Bryan Ford (WPES, 2013)

Bivariate Polynomials Modulo Composites and their Applications. - Dan Boneh; Henry Corrigan-Gibbs (IACR Cryptol. ePrint Arch., 2014)

Security Analysis of Accountable Anonymity in Dissent. - Ewa Syta; Henry Corrigan-Gibbs; Shu-Chun Weng; David Wolinsky; Bryan Ford; Aaron Johnson 001 (ACM Trans. Inf. Syst. Secur., 2014)

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 (HotOS, 2015)

Measuring and Maximizing the Effectiveness of Honor Codes in Online Courses. - Henry Corrigan-Gibbs; Nakull Gupta; Curtis G. Northcutt; Edward Cutrell; William Thies (L@S, 2015)

Riposte: An Anonymous Messaging System Handling Millions of Users. - Henry Corrigan-Gibbs; Dan Boneh; David Mazières (IEEE Symposium on Security and Privacy, 2015)

Stickler: Defending Against Malicious CDNs in an Unmodified Browser. - Amit Levy; Henry Corrigan-Gibbs; Dan Boneh (CoRR, 2015)

Deterring Cheating in Online Environments. - Henry Corrigan-Gibbs; Nakull Gupta; Curtis G. Northcutt; Edward Cutrell; William Thies (ACM Trans. Comput. Hum. Interact., 2015)

Balloon Hashing: A Memory-Hard Function Providing Provable Protection Against Sequential Attacks. - Dan Boneh; Henry Corrigan-Gibbs; Stuart E. Schechter (ASIACRYPT (1), 2016)

Atom: Scalable Anonymity Resistant to Traffic Analysis. - Albert Kwon; Henry Corrigan-Gibbs; Srinivas Devadas; Bryan Ford (CoRR, 2016)

Balloon Hashing: Provably Space-Hard Hash Functions with Data-Independent Access Patterns. - Henry Corrigan-Gibbs; Dan Boneh; Stuart E. Schechter (IACR Cryptol. ePrint Arch., 2016)

Stickler: Defending against Malicious Content Distribution Networks in an Unmodified Browser. - Amit Levy; Henry Corrigan-Gibbs; Dan Boneh (IEEE Secur. Priv., 2016)

Quantum Operating Systems. - Henry Corrigan-Gibbs; David J. Wu 001; Dan Boneh (HotOS, 2017)

Trust but Verify: Auditing the Secure Internet of Things. - Judson Wilson; Riad S. Wahby; Henry Corrigan-Gibbs; Dan Boneh; Philip Alexander Levis; Keith Winstein (MobiSys, 2017)

Prio: Private, Robust, and Scalable Computation of Aggregate Statistics. - Henry Corrigan-Gibbs; Dan Boneh (NSDI, 2017)

Atom: Horizontally Scaling Strong Anonymity. - Albert Kwon; Henry Corrigan-Gibbs; Srinivas Devadas; Bryan Ford (SOSP, 2017)

The Discrete-Logarithm Problem with Preprocessing. - Henry Corrigan-Gibbs; Dmitry Kogan (IACR Cryptol. ePrint Arch., 2017)

The Function-Inversion Problem: Barriers and Opportunities. - Henry Corrigan-Gibbs; Dmitry Kogan (Electron. Colloquium Comput. Complex., 2018)

Zero-Knowledge Proofs on Secret-Shared Data via Fully Linear PCPs. - Dan Boneh; Elette Boyle; Henry Corrigan-Gibbs; Niv Gilboa; Yuval Ishai (CRYPTO (3), 2019)

True2F: Backdoor-Resistant Authentication Tokens. - Emma Dauterman; Henry Corrigan-Gibbs; David Mazières; Dan Boneh; Dominic Rizzo (IEEE Symposium on Security and Privacy, 2019)

How to Prove a Secret: Zero-Knowledge Proofs on Distributed Data via Fully Linear PCPs. - Dan Boneh; Elette Boyle; Henry Corrigan-Gibbs; Niv Gilboa; Yuval Ishai (IACR Cryptol. ePrint Arch., 2019)

Private Information Retrieval with Sublinear Online Time. - Henry Corrigan-Gibbs; Dmitry Kogan (IACR Cryptol. ePrint Arch., 2019)

Protecting privacy by splitting trust. - Henry Corrigan-Gibbs (2019)

SafetyPin: Encrypted Backups with Human-Memorable Secrets. - Emma Dauterman; Henry Corrigan-Gibbs; David Mazières (OSDI, 2020)

Express: Lowering the Cost of Metadata-hiding Communication with Cryptographic Privacy. - Saba Eskandarian; Henry Corrigan-Gibbs; Matei Zaharia; Dan Boneh (USENIX Security Symposium, 2021)

Lightweight Techniques for Private Heavy Hitters. - Dan Boneh; Elette Boyle; Henry Corrigan-Gibbs; Niv Gilboa; Yuval Ishai (IACR Cryptol. ePrint Arch., 2021)

Private Blocklist Lookups with Checklist. - Dmitry Kogan; Henry Corrigan-Gibbs (IACR Cryptol. ePrint Arch., 2021)

Single-Server Private Information Retrieval with Sublinear Amortized Time. - Henry Corrigan-Gibbs; Alexandra Henzinger; Dmitry Kogan (IACR Cryptol. ePrint Arch., 2022)

One Server for the Price of Two: Simple and Fast Single-Server Private Information Retrieval. - Alexandra Henzinger; Matthew M. Hong; Henry Corrigan-Gibbs; Sarah Meiklejohn; Vinod Vaikuntanathan (IACR Cryptol. ePrint Arch., 2022)

Lightweb: Private web browsing without all the baggage. - Emma Dauterman; Henry Corrigan-Gibbs (HotNets, 2023)

Accountable authentication with privacy protection: The Larch system for universal login. - Emma Dauterman; Danny Lin; Henry Corrigan-Gibbs; David Mazières (OSDI, 2023)

Arithmetic Sketching. - Dan Boneh; Elette Boyle; Henry Corrigan-Gibbs; Niv Gilboa; Yuval Ishai (IACR Cryptol. ePrint Arch., 2023)

Authenticated private information retrieval. - Simone Colombo 002; Kirill Nikitin 001; Henry Corrigan-Gibbs; David J. Wu 001; Bryan Ford (IACR Cryptol. ePrint Arch., 2023)

The One-Wayness of Jacobi Signatures. - Henry Corrigan-Gibbs; David J. Wu 001 (IACR Cryptol. ePrint Arch., 2023)

Private Web Search with Tiptoe. - Alexandra Henzinger; Emma Dauterman; Henry Corrigan-Gibbs; Nickolai Zeldovich (IACR Cryptol. ePrint Arch., 2023)

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 (SOSP, 2024)

Somewhat Homomorphic Encryption from Linear Homomorphism and Sparse LPN. - Henry Corrigan-Gibbs; Alexandra Henzinger; Yael Kalai; Vinod Vaikuntanathan (IACR Cryptol. ePrint Arch., 2024)

Legendre Sequences are Pseudorandom under the Quadratic-Residuosity Assumption. - Henry Corrigan-Gibbs; David J. Wu 001 (IACR Cryptol. ePrint Arch., 2024)

Private Analytics via Streaming, Sketching, and Silently Verifiable Proofs. - Mayank Rathee; Yuwen Zhang; Henry Corrigan-Gibbs; Raluca Ada Popa (IACR Cryptol. ePrint Arch., 2024)

Divisible E-Cash for Billing in Private Ad Retargeting. - Kevin Liao; Henry Corrigan-Gibbs; Dan Boneh (Proc. Priv. Enhancing Technol., 2024)

Distributional Private Information Retrieval. - Ryan Lehmkuhl; Alexandra Henzinger; Henry Corrigan-Gibbs (IACR Cryptol. ePrint Arch., 2025)