Henry Corrigan-Gibbs

78 papers A* 18A 3B 1Misc 2Journal 39Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Heli: Heavy-Light Private Aggregation. IACR Cryptol. ePrint Arch. Ryan Lehmkuhl, Henry Corrigan-Gibbs, Emma Dauterman, David J. Wu
2026	J	`jnl`	Nudge: A Private Recommendations Engine. IACR Cryptol. ePrint Arch. Alexandra Henzinger, Emma Dauterman, Henry Corrigan-Gibbs, Dan Boneh
2026	J	`jnl`	The Structured Generic-Group Model. IACR Cryptol. ePrint Arch. Henry Corrigan-Gibbs, Alexandra Henzinger, David J. Wu
2025	A*	`conf`	Distributional Private Information Retrieval. USENIX Security Symposium Ryan Lehmkuhl, Alexandra Henzinger, Henry Corrigan-Gibbs
2025	J	`jnl`	Distributional Private Information Retrieval. IACR Cryptol. ePrint Arch. Ryan Lehmkuhl, Alexandra Henzinger, Henry Corrigan-Gibbs
2025	—	`conf`	Somewhat Homomorphic Encryption from Linear Homomorphism and Sparse LPN. EUROCRYPT (2) Henry Corrigan-Gibbs, Alexandra Henzinger, Yael Tauman Kalai, Vinod Vaikuntanathan
2025	—	`conf`	The Pseudorandomness of Legendre Symbols Under the Quadratic-Residuosity Assumption. TCC (3) Henry Corrigan-Gibbs, David J. Wu
2024	J	`jnl`	Divisible E-Cash for Billing in Private Ad Retargeting. Proc. Priv. Enhancing Technol. Kevin Liao, Henry Corrigan-Gibbs, Dan Boneh
2024	J	`jnl`	Legendre Sequences are Pseudorandom under the Quadratic-Residuosity Assumption. IACR Cryptol. ePrint Arch. Henry Corrigan-Gibbs, David J. Wu
2024	A*	`conf`	Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation. SOSP Anish Athalye, Henry Corrigan-Gibbs, M. Frans Kaashoek, Joseph Tassarotti, Nickolai Zeldovich
2024	A*	`conf`	Private Analytics via Streaming, Sketching, and Silently Verifiable Proofs. SP Mayank Rathee, Yuwen Zhang, Henry Corrigan-Gibbs, Raluca Ada Popa
2024	J	`jnl`	Private Analytics via Streaming, Sketching, and Silently Verifiable Proofs. IACR Cryptol. ePrint Arch. Mayank Rathee, Yuwen Zhang, Henry Corrigan-Gibbs, Raluca Ada Popa
2024	J	`jnl`	Somewhat Homomorphic Encryption from Linear Homomorphism and Sparse LPN. IACR Cryptol. ePrint Arch. Henry Corrigan-Gibbs, Alexandra Henzinger, Yael Kalai, Vinod Vaikuntanathan
2024	—	`conf`	The One-Wayness of Jacobi Signatures. CRYPTO (5) Henry Corrigan-Gibbs, David J. Wu
2023	A*	`conf`	Accountable authentication with privacy protection: The Larch system for universal login. OSDI Emma Dauterman, Danny Lin, Henry Corrigan-Gibbs, David Mazières
2023	J	`jnl`	Accountable authentication with privacy protection: The Larch system for universal login. CoRR Emma Dauterman, Danny Lin, Henry Corrigan-Gibbs, David Mazières
2023	—	`conf`	Arithmetic Sketching. CRYPTO (1) Dan Boneh, Elette Boyle, Henry Corrigan-Gibbs, Niv Gilboa, Yuval Ishai
2023	J	`jnl`	Arithmetic Sketching. IACR Cryptol. ePrint Arch. Dan Boneh, Elette Boyle, Henry Corrigan-Gibbs, Niv Gilboa, Yuval Ishai
2023	A*	`conf`	Authenticated private information retrieval. USENIX Security Symposium Simone Colombo, Kirill Nikitin, Henry Corrigan-Gibbs, David J. Wu, Bryan Ford
2023	J	`jnl`	Authenticated private information retrieval. IACR Cryptol. ePrint Arch. Simone Colombo, Kirill Nikitin, Henry Corrigan-Gibbs, David J. Wu, Bryan Ford
2023	Misc	`conf`	Lightweb: Private web browsing without all the baggage. HotNets Emma Dauterman, Henry Corrigan-Gibbs
2023	A*	`conf`	One Server for the Price of Two: Simple and Fast Single-Server Private Information Retrieval. USENIX Security Symposium Alexandra Henzinger, Matthew M. Hong, Henry Corrigan-Gibbs, Sarah Meiklejohn, Vinod Vaikuntanathan
2023	A*	`conf`	Private Web Search with Tiptoe. SOSP Alexandra Henzinger, Emma Dauterman, Henry Corrigan-Gibbs, Nickolai Zeldovich
2023	J	`jnl`	Private Web Search with Tiptoe. IACR Cryptol. ePrint Arch. Alexandra Henzinger, Emma Dauterman, Henry Corrigan-Gibbs, Nickolai Zeldovich
2023	J	`jnl`	The One-Wayness of Jacobi Signatures. IACR Cryptol. ePrint Arch. Henry Corrigan-Gibbs, David J. Wu
2022	J	`jnl`	One Server for the Price of Two: Simple and Fast Single-Server Private Information Retrieval. IACR Cryptol. ePrint Arch. Alexandra Henzinger, Matthew M. Hong, Henry Corrigan-Gibbs, Sarah Meiklejohn, Vinod Vaikuntanathan
2022	—	`conf`	Single-Server Private Information Retrieval with Sublinear Amortized Time. EUROCRYPT (2) Henry Corrigan-Gibbs, Alexandra Henzinger, Dmitry Kogan
2022	J	`jnl`	Single-Server Private Information Retrieval with Sublinear Amortized Time. IACR Cryptol. ePrint Arch. Henry Corrigan-Gibbs, Alexandra Henzinger, Dmitry Kogan
2021	A*	`conf`	Express: Lowering the Cost of Metadata-hiding Communication with Cryptographic Privacy. USENIX Security Symposium Saba Eskandarian, Henry Corrigan-Gibbs, Matei Zaharia, Dan Boneh
2021	A*	`conf`	Lightweight Techniques for Private Heavy Hitters. SP Dan Boneh, Elette Boyle, Henry Corrigan-Gibbs, Niv Gilboa, Yuval Ishai
2021	J	`jnl`	Lightweight Techniques for Private Heavy Hitters. IACR Cryptol. ePrint Arch. Dan Boneh, Elette Boyle, Henry Corrigan-Gibbs, Niv Gilboa, Yuval Ishai
2021	A*	`conf`	Private Blocklist Lookups with Checklist. USENIX Security Symposium Dmitry Kogan, Henry Corrigan-Gibbs
2021	J	`jnl`	Private Blocklist Lookups with Checklist. IACR Cryptol. ePrint Arch. Dmitry Kogan, Henry Corrigan-Gibbs
2020	J	`jnl`	Lightweight Techniques for Private Heavy Hitters. CoRR Dan Boneh, Elette Boyle, Henry Corrigan-Gibbs, Niv Gilboa, Yuval Ishai
2020	—	`conf`	Private Information Retrieval with Sublinear Online Time. EUROCRYPT (1) Henry Corrigan-Gibbs, Dmitry Kogan
2020	A*	`conf`	SafetyPin: Encrypted Backups with Human-Memorable Secrets. OSDI Emma Dauterman, Henry Corrigan-Gibbs, David Mazières
2020	J	`jnl`	SafetyPin: Encrypted Backups with Human-Memorable Secrets. CoRR Emma Dauterman, Henry Corrigan-Gibbs, David Mazières
2019	J	`jnl`	Express: Lowering the Cost of Metadata-hiding Communication with Cryptographic Privacy. CoRR Saba Eskandarian, Henry Corrigan-Gibbs, Matei Zaharia, Dan Boneh
2019	J	`jnl`	How to Prove a Secret: Zero-Knowledge Proofs on Distributed Data via Fully Linear PCPs. IACR Cryptol. ePrint Arch. Dan Boneh, Elette Boyle, Henry Corrigan-Gibbs, Niv Gilboa, Yuval Ishai
2019	J	`jnl`	Private Information Retrieval with Sublinear Online Time. IACR Cryptol. ePrint Arch. Henry Corrigan-Gibbs, Dmitry Kogan
2019	—	`—`	Protecting privacy by splitting trust. Henry Corrigan-Gibbs
2019	—	`conf`	The Function-Inversion Problem: Barriers and Opportunities. TCC (1) Henry Corrigan-Gibbs, Dmitry Kogan
2019	J	`jnl`	The Function-Inversion Problem: Barriers and Opportunities. IACR Cryptol. ePrint Arch. Henry Corrigan-Gibbs, Dmitry Kogan
2019	A*	`conf`	True2F: Backdoor-Resistant Authentication Tokens. IEEE Symposium on Security and Privacy Emma Dauterman, Henry Corrigan-Gibbs, David Mazières, Dan Boneh, Dominic Rizzo
2019	—	`conf`	Zero-Knowledge Proofs on Secret-Shared Data via Fully Linear PCPs. CRYPTO (3) Dan Boneh, Elette Boyle, Henry Corrigan-Gibbs, Niv Gilboa, Yuval Ishai
2018	—	`conf`	The Discrete-Logarithm Problem with Preprocessing. EUROCRYPT (2) Henry Corrigan-Gibbs, Dmitry Kogan
2018	J	`jnl`	The Function-Inversion Problem: Barriers and Opportunities. Electron. Colloquium Comput. Complex. Henry Corrigan-Gibbs, Dmitry Kogan
2018	J	`jnl`	True2F: Backdoor-resistant authentication tokens. CoRR Emma Dauterman, Henry Corrigan-Gibbs, David Mazières, Dan Boneh, Dominic Rizzo
2017	A*	`conf`	Atom: Horizontally Scaling Strong Anonymity. SOSP Albert Kwon, Henry Corrigan-Gibbs, Srinivas Devadas, Bryan Ford
2017	Misc	`conf`	Prio: Private, Robust, and Scalable Computation of Aggregate Statistics. NSDI Henry Corrigan-Gibbs, Dan Boneh
2017	J	`jnl`	Prio: Private, Robust, and Scalable Computation of Aggregate Statistics. CoRR Henry Corrigan-Gibbs, Dan Boneh
2017	A	`conf`	Quantum Operating Systems. HotOS Henry Corrigan-Gibbs, David J. Wu, Dan Boneh
2017	J	`jnl`	The Discrete-Logarithm Problem with Preprocessing. IACR Cryptol. ePrint Arch. Henry Corrigan-Gibbs, Dmitry Kogan
2017	A	`conf`	Trust but Verify: Auditing the Secure Internet of Things. MobiSys Judson Wilson, Riad S. Wahby, Henry Corrigan-Gibbs, Dan Boneh, Philip Alexander Levis, Keith Winstein
2016	J	`jnl`	Atom: Scalable Anonymity Resistant to Traffic Analysis. CoRR Albert Kwon, Henry Corrigan-Gibbs, Srinivas Devadas, Bryan Ford
2016	—	`conf`	Balloon Hashing: A Memory-Hard Function Providing Provable Protection Against Sequential Attacks. ASIACRYPT (1) Dan Boneh, Henry Corrigan-Gibbs, Stuart E. Schechter
2016	J	`jnl`	Balloon Hashing: Provably Space-Hard Hash Functions with Data-Independent Access Patterns. IACR Cryptol. ePrint Arch. Henry Corrigan-Gibbs, Dan Boneh, Stuart E. Schechter
2016	J	`jnl`	Stickler: Defending against Malicious Content Distribution Networks in an Unmodified Browser. IEEE Secur. Priv. Amit Levy, Henry Corrigan-Gibbs, Dan Boneh
2015	J	`jnl`	Deterring Cheating in Online Environments. ACM Trans. Comput. Hum. Interact. Henry Corrigan-Gibbs, Nakull Gupta, Curtis G. Northcutt, Edward Cutrell, William Thies
2015	B	`conf`	Measuring and Maximizing the Effectiveness of Honor Codes in Online Courses. L@S Henry Corrigan-Gibbs, Nakull Gupta, Curtis G. Northcutt, Edward Cutrell, William Thies
2015	A	`conf`	Recommendations for Randomness in the Operating System, or How to Keep Evil Children out of Your Pool and Other Random Facts. HotOS Henry Corrigan-Gibbs, Suman Jana
2015	A*	`conf`	Riposte: An Anonymous Messaging System Handling Millions of Users. IEEE Symposium on Security and Privacy Henry Corrigan-Gibbs, Dan Boneh, David Mazières
2015	J	`jnl`	Riposte: An Anonymous Messaging System Handling Millions of Users. CoRR Henry Corrigan-Gibbs, Dan Boneh, David Mazières
2015	J	`jnl`	Stickler: Defending Against Malicious CDNs in an Unmodified Browser. CoRR Amit Levy, Henry Corrigan-Gibbs, Dan Boneh
2014	—	`conf`	Bivariate Polynomials Modulo Composites and Their Applications. ASIACRYPT (1) Dan Boneh, Henry Corrigan-Gibbs
2014	J	`jnl`	Bivariate Polynomials Modulo Composites and their Applications. IACR Cryptol. ePrint Arch. Dan Boneh, Henry Corrigan-Gibbs
2014	—	`conf`	FlashPatch: Spreading Software Updates over Flash Drives in Under-connected Regions. ACM DEV Henry Corrigan-Gibbs, Jay Chen
2014	J	`jnl`	Security Analysis of Accountable Anonymity in Dissent. ACM Trans. Inf. Syst. Secur. Ewa Syta, Henry Corrigan-Gibbs, Shu-Chun Weng, David Wolinsky, Bryan Ford, Aaron Johnson
2013	J	`jnl`	Conscript Your Friends into Larger Anonymity Sets with JavaScript. CoRR Henry Corrigan-Gibbs, Bryan Ford
2013	—	`conf`	Conscript your friends into larger anonymity sets with JavaScript. WPES Henry Corrigan-Gibbs, Bryan Ford
2013	J	`jnl`	Ensuring High-Quality Randomness in Cryptographic Key Generation. CoRR Henry Corrigan-Gibbs, Wendy Mu, Dan Boneh, Bryan Ford
2013	A*	`conf`	Ensuring high-quality randomness in cryptographic key generation. CCS Henry Corrigan-Gibbs, Wendy Mu, Dan Boneh, Bryan Ford
2013	—	`conf`	FlashPatch: spreading software updates over flash drives in under-connected regions. ACM DEV (4) Henry Corrigan-Gibbs, Jay Chen
2013	A*	`conf`	Proactively Accountable Anonymous Messaging in Verdict. USENIX Security Symposium Henry Corrigan-Gibbs, David Isaac Wolinsky, Bryan Ford
2012	J	`jnl`	Dining in the Sunshine: Verifiable Anonymous Communication with Verdict CoRR Henry Corrigan-Gibbs, David Isaac Wolinsky, Bryan Ford
2012	A*	`conf`	Dissent in Numbers: Making Strong Anonymity Scale. OSDI David Isaac Wolinsky, Henry Corrigan-Gibbs, Bryan Ford, Aaron Johnson
2010	J	`jnl`	Accountable Anonymous Group Messaging CoRR Henry Corrigan-Gibbs, Bryan Ford
2010	A*	`conf`	Dissent: accountable anonymous group messaging. CCS Henry Corrigan-Gibbs, Bryan Ford