Henry Corrigan-Gibbs

According to our database, Henry Corrigan-Gibbs authored at least 48 papers between 2010 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Distributional Private Information Retrieval.

Ryan Lehmkuhl, Alexandra Henzinger, Henry Corrigan-Gibbs

Proceedings of the 34th USENIX Security Symposium, 2025

Somewhat Homomorphic Encryption from Linear Homomorphism and Sparse LPN.

Henry Corrigan-Gibbs, Alexandra Henzinger, Yael Tauman Kalai, Vinod Vaikuntanathan

Proceedings of the Advances in Cryptology - EUROCRYPT 2025, 2025

2024

Divisible E-Cash for Billing in Private Ad Retargeting.

Kevin Liao, Henry Corrigan-Gibbs, Dan Boneh

Proc. Priv. Enhancing Technol., 2024

Legendre Sequences are Pseudorandom under the Quadratic-Residuosity Assumption.

Henry Corrigan-Gibbs, David J. Wu

IACR Cryptol. ePrint Arch., 2024

Private Analytics via Streaming, Sketching, and Silently Verifiable Proofs.

Mayank Rathee, Yuwen Zhang, Henry Corrigan-Gibbs, Raluca Ada Popa

Proceedings of the IEEE Symposium on Security and Privacy, 2024

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

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

The One-Wayness of Jacobi Signatures.

Henry Corrigan-Gibbs, David J. Wu

Proceedings of the Advances in Cryptology - CRYPTO 2024, 2024

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, Vinod Vaikuntanathan

Proceedings of the 32nd USENIX Security Symposium, 2023

Authenticated private information retrieval.

Simone Colombo, Kirill Nikitin, Henry Corrigan-Gibbs, David J. Wu, Bryan Ford

Proceedings of the 32nd USENIX Security Symposium, 2023

Private Web Search with Tiptoe.

Alexandra Henzinger, Emma Dauterman, Henry Corrigan-Gibbs, Nickolai Zeldovich

Proceedings of the 29th Symposium on Operating Systems Principles, 2023

Accountable authentication with privacy protection: The Larch system for universal login.

Emma Dauterman, Danny Lin, Henry Corrigan-Gibbs, David Mazières

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

Lightweb: Private web browsing without all the baggage.

Emma Dauterman, Henry Corrigan-Gibbs

Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 2023

Arithmetic Sketching.

Dan Boneh, Elette Boyle, Henry Corrigan-Gibbs, Niv Gilboa, Yuval Ishai

Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023

2022

Single-Server Private Information Retrieval with Sublinear Amortized Time.

Henry Corrigan-Gibbs, Alexandra Henzinger, Dmitry Kogan

Proceedings of the Advances in Cryptology - EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30, 2022

2021

Private Blocklist Lookups with Checklist.

Dmitry Kogan, Henry Corrigan-Gibbs

Proceedings of the 30th USENIX Security Symposium, 2021

Express: Lowering the Cost of Metadata-hiding Communication with Cryptographic Privacy.

Saba Eskandarian, Henry Corrigan-Gibbs, Matei Zaharia, Dan Boneh

Proceedings of the 30th USENIX Security Symposium, 2021

Lightweight Techniques for Private Heavy Hitters.

Dan Boneh, Elette Boyle, Henry Corrigan-Gibbs, Niv Gilboa, Yuval Ishai

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2020

SafetyPin: Encrypted Backups with Human-Memorable Secrets.

Emma Dauterman, Henry Corrigan-Gibbs, David Mazières

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Private Information Retrieval with Sublinear Online Time.

Henry Corrigan-Gibbs, Dmitry Kogan

Proceedings of the Advances in Cryptology - EUROCRYPT 2020, 2020

2019

Protecting privacy by splitting trust.

Henry Corrigan-Gibbs

PhD thesis, 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

The Function-Inversion Problem: Barriers and Opportunities.

Henry Corrigan-Gibbs, Dmitry Kogan

Proceedings of the Theory of Cryptography - 17th International Conference, 2019

True2F: Backdoor-Resistant Authentication Tokens.

Emma Dauterman, Henry Corrigan-Gibbs, David Mazières, Dan Boneh, Dominic Rizzo

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Zero-Knowledge Proofs on Secret-Shared Data via Fully Linear PCPs.

Dan Boneh, Elette Boyle, Henry Corrigan-Gibbs, Niv Gilboa, Yuval Ishai

Proceedings of the Advances in Cryptology - CRYPTO 2019, 2019

2018

The Discrete-Logarithm Problem with Preprocessing.

Henry Corrigan-Gibbs, Dmitry Kogan

Proceedings of the Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29, 2018

2017

Atom: Horizontally Scaling Strong Anonymity.

Albert Kwon, Henry Corrigan-Gibbs, Srinivas Devadas, Bryan Ford

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Prio: Private, Robust, and Scalable Computation of Aggregate Statistics.

Henry Corrigan-Gibbs, Dan Boneh

Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 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

Proceedings of the 15th Annual International Conference on Mobile Systems, 2017

Quantum Operating Systems.

Henry Corrigan-Gibbs, David J. Wu, Dan Boneh

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

2016

Stickler: Defending against Malicious Content Distribution Networks in an Unmodified Browser.

Amit Levy, Henry Corrigan-Gibbs, Dan Boneh

IEEE Secur. Priv., 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

Atom: Scalable Anonymity Resistant to Traffic Analysis.

Albert Kwon, Henry Corrigan-Gibbs, Srinivas Devadas, Bryan Ford

CoRR, 2016

Balloon Hashing: A Memory-Hard Function Providing Provable Protection Against Sequential Attacks.

Dan Boneh, Henry Corrigan-Gibbs, Stuart E. Schechter

Proceedings of the Advances in Cryptology - ASIACRYPT 2016, 2016

2015

Deterring Cheating in Online Environments.

Henry Corrigan-Gibbs, Nakull Gupta, Curtis G. Northcutt, Edward Cutrell, William Thies

ACM Trans. Comput. Hum. Interact., 2015

Stickler: Defending Against Malicious CDNs in an Unmodified Browser.

Amit Levy, Henry Corrigan-Gibbs, Dan Boneh

CoRR, 2015

Riposte: An Anonymous Messaging System Handling Millions of Users.

Henry Corrigan-Gibbs, Dan Boneh, David Mazières

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Measuring and Maximizing the Effectiveness of Honor Codes in Online Courses.

Henry Corrigan-Gibbs, Nakull Gupta, Curtis G. Northcutt, Edward Cutrell, William Thies

Proceedings of the Second ACM Conference on Learning @ Scale, 2015

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

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

2014

Security Analysis of Accountable Anonymity in Dissent.

Ewa Syta, Henry Corrigan-Gibbs, Shu-Chun Weng, David Wolinsky, Bryan Ford, Aaron Johnson

ACM Trans. Inf. Syst. Secur., 2014

FlashPatch: Spreading Software Updates over Flash Drives in Under-connected Regions.

Henry Corrigan-Gibbs, Jay Chen

Proceedings of the Fifth ACM Symposium on Computing for Development, 2014

Bivariate Polynomials Modulo Composites and Their Applications.

Dan Boneh, Henry Corrigan-Gibbs

Proceedings of the Advances in Cryptology - ASIACRYPT 2014, 2014

2013

Conscript your friends into larger anonymity sets with JavaScript.

Henry Corrigan-Gibbs, Bryan Ford

Proceedings of the 12th annual ACM Workshop on Privacy in the Electronic Society, 2013

Proactively Accountable Anonymous Messaging in Verdict.

Henry Corrigan-Gibbs, David Isaac Wolinsky, Bryan Ford

Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013, 2013

Ensuring high-quality randomness in cryptographic key generation.

Henry Corrigan-Gibbs, Wendy Mu, Dan Boneh, Bryan Ford

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

Dining in the Sunshine: Verifiable Anonymous Communication with Verdict

Henry Corrigan-Gibbs, David Isaac Wolinsky, Bryan Ford

CoRR, 2012

Dissent in Numbers: Making Strong Anonymity Scale.

David Isaac Wolinsky, Henry Corrigan-Gibbs, Bryan Ford, Aaron Johnson

Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

2010

Accountable Anonymous Group Messaging

Henry Corrigan-Gibbs, Bryan Ford

CoRR, 2010

Dissent: accountable anonymous group messaging.

Henry Corrigan-Gibbs, Bryan Ford

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010