Henry Corrigan-Gibbs | Research Papers

papers \ talks

Sort by: Date \ Venue

Nudge: A Private Recommendations Engine: Alexandra Henzinger, Emma Dauterman, Henry Corrigan-Gibbs, and Dan Boneh
USENIX Security Symposium 2026 (to appear)
Heli: Heavy-Light Private Aggregation: Ryan Lehmkuhl, Henry Corrigan-Gibbs, Emma Dauterman, and David J. Wu.
USENIX Security Symposium 2026 (to appear)

The Pseudorandomness of Legendre Symbols under the Quadratic-Residuosity Assumption: Henry Corrigan-Gibbs and David J. Wu
TCC 2025
Distributional Private Information Retrieval: Ryan Lehmkuhl, Alexandra Henzinger, and Henry Corrigan-Gibbs
USENIX Security Symposium 2025
Somewhat Homomorphic Encryption from Linear Homomorphism and Sparse LPN: Invited to the Journal of Cryptology
Henry Corrigan-Gibbs, Alexandra Henzinger, Yael Kalai, and Vinod Vaikuntanathan
EUROCRYPT 2025

Modular Verification of Non-Leakage for Hardware Security Modules with Parfait: Anish Athalye, Henry Corrigan-Gibbs, Frans Kaashoek, Joseph Tassarotti, Nickolai Zeldovich
SOSP 2024
The One-Wayness of Jacobi Signatures: Henry Corrigan-Gibbs and David J. Wu
CRYPTO 2024
Divisible E-Cash for Billing in Private Ad Retargeting: Kevin Liao, Henry Corrigan-Gibbs, and Dan Boneh
PETS 2024
Private Analytics via Streaming, Sketching, and Silently Verifiable Proofs: Mayank Rathee, Yuwen Zhang, Henry Corrigan-Gibbs, and Raluca Ada Popa
Oakland 2024

Lightweb: Private Web Browsing Without All the Baggage: Emma Dauterman and Henry Corrigan-Gibbs
HotNets 2023
Private Web Search with Tiptoe: Alexandra Henzinger, Emma Dauterman, Henry Corrigan-Gibbs, Nickolai Zeldovich
SOSP 2023
Arithmetic Sketching: Dan Boneh, Elette Boyle, Henry Corrigan-Gibbs, Niv Gilboa, Yuval Ishai
CRYPTO 2023
Authenticated Private Information Retrieval: Simone Colombo, Kirill Nikitin, Bryan Ford, David J. Wu, and Henry Corrigan-Gibbs
USENIX Security Symposium 2023
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, and Vinod Vaikuntanathan
USENIX Security Symposium 2023
Accountable Authentication with Privacy Protection: The Larch System for Universal Login: Emma Dauterman, Danny Lin, Henry Corrigan-Gibbs, and David Mazières
OSDI 2023

Single-Server Private Information Retrieval with Sublinear Amortized Time: Henry Corrigan-Gibbs, Alexandra Henzinger, and Dmitry Kogan
EUROCRYPT 2022

Express: Lowering the Cost of Metadata-hiding Communication with Cryptographic Privacy: Saba Eskandarian, Henry Corrigan-Gibbs, Matei Zaharia, Dan Boneh
USENIX Security Symposium 2021
Private Blocklist Lookups with Checklist: Dmitry Kogan and Henry Corrigan-Gibbs
USENIX Security Symposium 2021
Lightweight Techniques for Private Heavy Hitters: Dan Boneh, Elette Boyle, Henry Corrigan-Gibbs, Niv Gilboa, Yuval Ishai
Oakland 2021

SafetyPin: Encrypted Backups with Human-Memorable Secrets: Emma Dauterman, Henry Corrigan-Gibbs, and David Mazières
OSDI 2020
Private Information Retrieval with Sublinear Online Time: Best Young Researcher Paper Award
Invited to Journal of Cryptology
Henry Corrigan-Gibbs and Dmitry Kogan
EUROCRYPT 2020

The Function-Inversion Problem: Barriers and Opportunities: Best Young Researcher Paper Award
Invited to Journal of Cryptology
Henry Corrigan-Gibbs and Dmitry Kogan
TCC 2019
Protecting Privacy by Splitting Trust: Honorable Mention for ACM Doctoral Dissertation Award
Henry Corrigan-Gibbs
PhD thesis, Stanford University
Zero-Knowledge Proofs on Secret-Shared Data via Fully Linear PCPs: Dan Boneh, Elette Boyle, Henry Corrigan-Gibbs, Niv Gilboa, and Yuval Ishai
CRYPTO 2019
True2F: Backdoor-Resistant Authentication Tokens: First Place, CSAW US-Canada Applied Research Competition
Emma Dauterman, Henry Corrigan-Gibbs, David Mazières, Dan Boneh, and Dominic Rizzo
Oakland 2019

The Discrete-Logarithm Problem with Preprocessing: Best Young Researcher Paper Award
Henry Corrigan-Gibbs and Dmitry Kogan
EUROCRYPT 2018

Atom: Horizontally Scaling Strong Anonymity: Albert Kwon, Henry Corrigan-Gibbs, Srinivas Devadas, and Bryan Ford
SOSP 2017
Trust but Verify: Auditing Secure Internet of Things Devices: Judson Wilson, Riad S. Wahby, Henry Corrigan-Gibbs, Dan Boneh, Philip Levis, and Keith Winstein
MobiSys 2017
Quantum Operating Systems: Henry Corrigan-Gibbs, David J. Wu, and Dan Boneh
HotOS 2017
Prio: Private, Robust, and Scalable Computation of Aggregate Statistics: Henry Corrigan-Gibbs and Dan Boneh
NSDI 2017

Balloon Hashing: A Memory-Hard Function Providing Provable Protection Against Sequential Attacks: Dan Boneh, Henry Corrigan-Gibbs, and Stuart Schechter
ASIACRYPT 2016

Deterring Cheating in Online Environments: Presented at CHI 2016
Henry Corrigan-Gibbs, Nakull Gupta, Curtis Northcutt, Edward Cutrell, and William Thies
ACM Transactions on Computer-Human Interaction (TOCHI)
Stickler: Defending Against Malicious CDNs in an Unmodified Browser: Invited to appear in IEEE Security and Privacy Magazine
Amit Levy, Henry Corrigan-Gibbs, and Dan Boneh
W2SP 2015
Recommendations for Randomness in the Operating System: How to Keep Evil Children Out of Your Pool and Other Random Facts: Henry Corrigan-Gibbs and Suman Jana
HotOS 2015
Riposte: An Anonymous Messaging System Handling Millions of Users: Caspar Bowden Award for Outstanding Research in Privacy Enhancing Technologies
IEEE S&P Distinguished Paper Award
Henry Corrigan-Gibbs, Dan Boneh, and David Mazières
Oakland 2015
Measuring and Maximizing the Effectiveness of Honor Codes in Online Courses — Work-in-progress paper: Henry Corrigan-Gibbs, Nakull Gupta, Curtis Northcutt, Edward Cutrell, and William Thies
L@S 2015

Bivariate Polynomials Modulo Composites and their Applications: Dan Boneh and Henry Corrigan-Gibbs
ASIACRYPT 2014
FlashPatch: Spreading Software Updates over Flash Drives in Under-connected Regions: Henry Corrigan-Gibbs and Jay Chen
DEV 2014
Keeping Secrets — A History of the Birth of Non-Governmental Cryptography Research: Henry Corrigan-Gibbs
Stanford Magazine 2014
Security Analysis of Accountable Anonymity in Dissent: Ewa Syta, Henry Corrigan-Gibbs, Shu-Chun Weng, David Wolinsky, Bryan Ford, and Aaron Johnson
ACM Transactions on Information and System Security (TISSEC)

Conscript Your Friends into Larger Anonymity Sets with JavaScript — Short paper: Henry Corrigan-Gibbs and Bryan Ford
WPES 2013
Ensuring High-Quality Randomness in Cryptographic Key Generation: Henry Corrigan-Gibbs, Wendy Mu, Dan Boneh, and Bryan Ford
CCS 2013
Proactively Accountable Anonymous Messaging in Verdict: Henry Corrigan-Gibbs, David Isaac Wolinsky, and Bryan Ford
USENIX Security Symposium 2013
Welcome to the World of Human Rights: Please Make Yourself Uncomfortable: Henry Corrigan-Gibbs and Bryan Ford
CREDS 2013

Dissent in Numbers: Making Strong Anonymity Scale: David Wolinsky, Henry Corrigan-Gibbs, Bryan Ford, and Aaron Johnson
OSDI 2012
Scavenging for Anonymity with BlogDrop — Abstract: Henry Corrigan-Gibbs and Bryan Ford
Provable Privacy Workshop 2012
Scalable Anonymous Group Communication in the Anytrust Model: David Wolinsky, Henry Corrigan-Gibbs, Bryan Ford, and Aaron Johnson
EuroSec 2012

Dissent: Accountable Anonymous Group Messaging: ACM CCS 2020 Test-of-Time Award
Henry Corrigan-Gibbs and Bryan Ford
CCS 2010