Efficient RAM and control flow in verifiable outsourced computation. - Riad S. Wahby; Srinath T. V. Setty; Zuocheng Ren; Andrew J. Blumberg; Michael Walfish (IACR Cryptol. ePrint Arch., 2014)

Harmful devices considered harmless. - Riad S. Wahby; Sebastian Angel; Max Howald; Joshua B. Leners; Andrew J. Blumberg; Michael Walfish (CoRR, 2015)

Verifiable ASICs. - Riad S. Wahby; Max Howald; Siddharth Garg; Abhi Shelat; Michael Walfish (IACR Cryptol. ePrint Arch., 2015)

Defending against Malicious Peripherals with Cinch. - Sebastian Angel; Riad S. Wahby; Max Howald; Joshua B. Leners; Michael Spilo; Zhen Sun; Andrew J. Blumberg; Michael Walfish (USENIX Security Symposium, 2016)

Robust, low-cost, auditable random number generation for embedded system security. - Ben Lampert; Riad S. Wahby; Shane Leonard; Philip Alexander Levis (IACR Cryptol. ePrint Arch., 2016)

Trust but Verify: Auditing the Secure Internet of Things. - Judson Wilson; Riad S. Wahby; Henry Corrigan-Gibbs; Dan Boneh; Philip Alexander Levis; Keith Winstein (MobiSys, 2017)

Encoding, Fast and Slow: Low-Latency Video Processing Using Thousands of Tiny Threads. - Sadjad Fouladi; Riad S. Wahby; Brennan Shacklett; Karthikeyan Balasubramaniam; William Zeng; Rahul Bhalerao; Anirudh Sivaraman; George Porter; Keith Winstein (NSDI, 2017)

Finding and Preventing Bugs in JavaScript Bindings. - Fraser Brown; Shravan Narayan; Riad S. Wahby; Dawson R. Engler; Ranjit Jhala; Deian Stefan (IEEE Symposium on Security and Privacy, 2017)

Full accounting for verifiable outsourcing. - Riad S. Wahby; Ye Ji; Andrew J. Blumberg; Abhi Shelat; Justin Thaler; Michael Walfish; Thomas Wies (IACR Cryptol. ePrint Arch., 2017)

Doubly-efficient zkSNARKs without trusted setup. - Riad S. Wahby; Ioanna Tzialla; Abhi Shelat; Justin Thaler; Michael Walfish (IACR Cryptol. ePrint Arch., 2017)

Salsify: Low-Latency Network Video through Tighter Integration between a Video Codec and a Transport Protocol. - Sadjad Fouladi; John Emmons; Emre Orbay; Catherine Wu; Riad S. Wahby; Keith Winstein (NSDI, 2018)

Pantheon: the training ground for Internet congestion-control research. - Francis Y. Yan; Jestin Ma; Greg D. Hill; Deepti Raghavan; Riad S. Wahby; Philip Alexander Levis; Keith Winstein (USENIX ATC, 2018)

FaCT: a DSL for timing-sensitive computation. - Sunjay Cauligi; Gary Soeller; Brian Johannesmeyer; Fraser Brown; Riad S. Wahby; John Renner; Benjamin Grégoire; Gilles Barthe; Ranjit Jhala; Deian Stefan (PLDI, 2019)

Universal Composability is Secure Compilation. - Marco Patrignani; Riad S. Wahby; Robert Künnemann (CoRR, 2019)

Scaling Verifiable Computation Using Efficient Set Accumulators. - Alex Ozdemir; Riad S. Wahby; Dan Boneh (IACR Cryptol. ePrint Arch., 2019)

Fast and simple constant-time hashing to the BLS12-381 elliptic curve. - Riad S. Wahby; Dan Boneh (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2019)

Scaling Verifiable Computation Using Efficient Set Accumulators. - Alex Ozdemir; Riad S. Wahby; Barry Whitehat; Dan Boneh (USENIX Security Symposium, 2020)

Compact Certificates of Collective Knowledge. - Silvio Micali; Leonid Reyzin; Georgios Vlachos; Riad S. Wahby; Nickolai Zeldovich (IACR Cryptol. ePrint Arch., 2020)

Unifying Compilers for SNARKs, SMT, and More. - Alex Ozdemir; Fraser Brown; Riad S. Wahby (IACR Cryptol. ePrint Arch., 2020)

An airdrop that preserves recipient privacy. - Riad S. Wahby; Dan Boneh; Christopher Jeffrey; Joseph Poon (IACR Cryptol. ePrint Arch., 2020)

Brakedown: Linear-time and post-quantum SNARKs for R1CS. - Alexander Golovnev; Jonathan Lee 003; Srinath T. V. Setty; Justin Thaler; Riad S. Wahby (IACR Cryptol. ePrint Arch., 2021)

Linear-time zero-knowledge SNARKs for R1CS. - Jonathan Lee 003; Srinath T. V. Setty; Justin Thaler; Riad S. Wahby (IACR Cryptol. ePrint Arch., 2021)

Concretely efficient interactive proofs and their applications. - Riad S. Wahby (2021)

CirC: Compiler infrastructure for proof systems, software verification, and more. - Alex Ozdemir; Fraser Brown; Riad S. Wahby (SP, 2022)

Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS. - Alexander Golovnev; Jonathan Lee 003; Srinath T. V. Setty; Justin Thaler; Riad S. Wahby (CRYPTO (2), 2023)

The ghost is the machine: Weird machines in transient execution. - Ping-Lun Wang; Fraser Brown; Riad S. Wahby (SP (Workshops), 2023)

Checking Passwords on Leaky Computers: A Side Channel Analysis of Chrome's Password Leak Detect Protocol. - Andrew Kwong; Walter Wang; Jason Kim 007; Jonathan Berger; Daniel Genkin; Eyal Ronen; Hovav Shacham; Riad S. Wahby; Yuval Yarom (USENIX Security Symposium, 2023)

Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols. - Edward Chen; Jinhao Zhu; Alex Ozdemir; Riad S. Wahby; Fraser Brown; Wenting Zheng (IACR Cryptol. ePrint Arch., 2023)

Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs). - Alex Ozdemir; Riad S. Wahby; Fraser Brown; Clark W. Barrett (IACR Cryptol. ePrint Arch., 2023)

Customizable constraint systems for succinct arguments. - Srinath T. V. Setty; Justin Thaler; Riad S. Wahby (IACR Cryptol. ePrint Arch., 2023)

Unlocking the lookup singularity with Lasso. - Srinath T. V. Setty; Justin Thaler; Riad S. Wahby (IACR Cryptol. ePrint Arch., 2023)

Riggs: Decentralized Sealed-Bid Auctions. - Nirvan Tyagi; Arasu Arun; Cody Freitag; Riad S. Wahby; Joseph Bonneau; David Mazières (IACR Cryptol. ePrint Arch., 2023)

Specialized Proof of Confidential Knowledge (SPoCK). - Tarak Ben Youssef; Riad S. Wahby (IACR Cryptol. ePrint Arch., 2023)

Hashing to Elliptic Curves. - Armando Faz-Hernández; Sam Scott; Nick Sullivan; Riad S. Wahby; Christopher A. Wood (RFC, 2023)

Bending microarchitectural weird machines towards practicality. - Ping-Lun Wang; Riccardo Paccagnella; Riad S. Wahby; Fraser Brown (USENIX Security Symposium, 2024)

NOTRY: Deniable messaging with retroactive avowal. - Faxing Wang; Shaanan Cohney; Riad S. Wahby; Joseph Bonneau (Proc. Priv. Enhancing Technol., 2024)

Universal Composability Is Robust Compilation. - Marco Patrignani; Robert Künnemann; Riad S. Wahby; Ethan Cecchetti (ACM Trans. Program. Lang. Syst., 2024)

CoBBL: Dynamic Constraint Generation for SNARKs. - Kunming Jiang; Fraser Brown; Riad S. Wahby (SP, 2025)

ALPACA: Anonymous Blocklisting with Constant-Sized Updatable Proofs. - Jiwon Kim; Abhiram Kothapalli; Orestis Chardouvelis; Riad S. Wahby; Paul Grubbs (IACR Cryptol. ePrint Arch., 2025)