Penn's Security and Privacy Lab

Publications

Download BibTeX.

2024
October
PDF Hekaton: Horizontally-Scalable zkSNARKs via Proof Aggregation.
Michael Rosenberg, Tushar Mopuri, Hossein Hafezi, Ian Miers, and Pratyush Mishra.
CCS.
2024
August
PDF Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs.
Sebastian Angel, Eleftherios Ioannidis, Elizabeth Margolin, Srinath Setty, and Jess Woods.
USENIX Security.
2024
May
PDF Sprint: High-throughput robust distributed schnorr signatures.
Fabrice Benhamouda, Shai Halevi, Hugo Krawczyk, Yiping Ma, and Tal Rabin.
Eurocrypt.
2023
December
PDF Proactive Secret Sharing with Constant Communication.
Brett Hemenway Falk, Daniel Noble, and Tal Rabin.
TCC.
2023
November
PDF Analyzing the Real-World Security of the Algorand Blockchain.
Erica Blum, Derek Leung, Julian Loss, Jonathan Katz, and Tal Rabin.
CSS.
2023
August
PDF Eos: Efficient Private Delegation of zkSNARK Provers.
Alessandro Chiesa, Ryan Lehmkuhl, Pratyush Mishra, and Yinuo Zhang.
USENIX Security.
2023
August
PDF GigaDORAM: Breaking the Billion Address Barrier..
Brett Hemenway Falk, Rafail Ostrovsky, Matan Shtepel, and Jacob Zhang.
USENIX Security.
2023
July
PDF Nimble: Rollback Protection for Confidential Cloud Services.
Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath Setty, and Sudheesh Singanamalla.
OSDI.
2023
May
PDF Flamingo: Privacy-Preserving Federated Learning with Efficient Multi-Round Secure Aggregation.
Yiping Ma, Jess Woods, Sebastian Angel, Antigoni Polychroniadou, and Tal Rabin.
IEEE S&P.
2023
May
PDF Addax: A fast, private, and accountable ad exchange infrastructure.
Ke Zhong, Yiping Ma, Yifeng Mao, and Sebastian Angel.
NSDI.
2022
November
PDF Ibex: Privacy-preserving ad conversion tracking and bidding.
Ke Zhong, Yiping Ma, and Sebastian Angel.
CCS.
2022
August
PDF Efficient Representation of Numerical Optimization Problems for SNARKs.
Sebastian Angel, Andrew J. Blumberg, Eleftherios Ioannidis, and Jess Woods.
USENIX Security.
2022
August
PDF Incremental Offline/Online PIR.
Yiping Ma, Ke Zhong, Tal Rabin, and Sebastian Angel.
USENIX Security.
2021
November
PDF Packet scheduling with optional client privacy.
Andrew Beams, Sampath Kannan, and Sebastian Angel.
CCS.
2021
October
PDF Mycelium: Large-Scale Distributed Graph Queries with Differential Privacy.
Edo Roth, Karan Newatia, Yiping Ma, Ke Zhong, Sebastian Angel, and Andreas Haeberlen.
SOSP.
2020
May
PDF Private resource allocators and their applications.
Sebastian Angel, Sampath Kannan, and Zachary Ratliff.
IEEE S&P.