2024

Private Analytics via Streaming, Sketching, and Silently Verifiable Proofs
Mayank Rathee, Yuwen Zhang, Henry Corrigan-Gibbs, and Raluca Ada Popa
Oakland 2024 (to appear)

2023

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

2022

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

2021

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

2020

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

2019

Protecting Privacy by Splitting Trust
ACM Doctoral Dissertation Honorable Mention Award
Henry Corrigan-Gibbs
PhD thesis, Stanford University
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
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

2018

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

2017

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

2016

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

2015

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

2014

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)

2013

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

2012

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

2010

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