Riad S. Wahby

According to our database, Riad S. Wahby authored at least 40 papers between 2015 and 2025.

Collaborative distances:

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

2025

Sybil-Resistant Parallel Mixing.

Maya Kleinstein, Riad S. Wahby, Yossi Gilad

Proc. Priv. Enhancing Technol., 2025

ALPACA: Anonymous Blocklisting with Constant-Sized Updatable Proofs.

Jiwon Kim, Abhiram Kothapalli, Orestis Chardouvelis, Riad S. Wahby, Paul Grubbs

Proceedings of the IEEE Symposium on Security and Privacy, 2025

CoBBL: Dynamic Constraint Generation for SNARKs.

Kunming Jiang, Fraser Brown, Riad S. Wahby

Proceedings of the IEEE Symposium on Security and Privacy, 2025

2024

Universal Composability Is Robust Compilation.

Marco Patrignani, Robert Künnemann, Riad S. Wahby, Ethan Cecchetti

ACM Trans. Program. Lang. Syst., December, 2024

Bending microarchitectural weird machines towards practicality.

Ping-Lun Wang, Riccardo Paccagnella, Riad S. Wahby, Fraser Brown

Proceedings of the 33rd USENIX Security Symposium, 2024

Unlocking the Lookup Singularity with Lasso.

Srinath T. V. Setty, Justin Thaler, Riad S. Wahby

Proceedings of the Advances in Cryptology - EUROCRYPT 2024, 2024

2023

Hashing to Elliptic Curves.

Armando Faz-Hernández, Sam Scott, Nick Sullivan, Riad S. Wahby, Christopher A. Wood

RFC, August, 2023

Specialized Proof of Confidential Knowledge (SPoCK).

Tarak Ben Youssef, Riad S. Wahby

IACR Cryptol. ePrint Arch., 2023

NOTRY: deniable messaging with retroactive avowal.

Faxing Wang, Shaanan Cohney, Riad S. Wahby, Joseph Bonneau

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

Checking Passwords on Leaky Computers: A Side Channel Analysis of Chrome's Password Leak Detect Protocol.

Andrew Kwong, Walter Wang, Jason Kim, Jonathan Berger, Daniel Genkin, Eyal Ronen, Hovav Shacham, Riad S. Wahby, Yuval Yarom

Proceedings of the 32nd USENIX Security Symposium, 2023

The ghost is the machine: Weird machines in transient execution.

Ping-Lun Wang, Fraser Brown, Riad S. Wahby

Proceedings of the 2023 IEEE Security and Privacy Workshops (SPW), 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

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS.

Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby

Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023

Riggs: Decentralized Sealed-Bid Auctions.

Nirvan Tyagi, Arasu Arun, Cody Freitag, Riad S. Wahby, Joseph Bonneau, David Mazières

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

Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs.

Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

CirC: Compiler infrastructure for proof systems, software verification, and more.

Alex Ozdemir, Fraser Brown, Riad S. Wahby

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

2021

Concretely efficient interactive proofs and their applications.

Riad S. Wahby

PhD thesis, 2021

Linear-time zero-knowledge SNARKs for R1CS.

Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby

IACR Cryptol. ePrint Arch., 2021

Brakedown: Linear-time and post-quantum SNARKs for R1CS.

Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby

IACR Cryptol. ePrint Arch., 2021

Compact Certificates of Collective Knowledge.

Silvio Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby, Nickolai Zeldovich

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

2020

Unifying Compilers for SNARKs, SMT, and More.

Alex Ozdemir, Fraser Brown, Riad S. Wahby

IACR Cryptol. ePrint Arch., 2020

Scaling Verifiable Computation Using Efficient Set Accumulators.

Alex Ozdemir, Riad S. Wahby, Barry Whitehat, Dan Boneh

Proceedings of the 29th USENIX Security Symposium, 2020

An Airdrop that Preserves Recipient Privacy.

Riad S. Wahby, Dan Boneh, Christopher Jeffrey, Joseph Poon

Proceedings of the Financial Cryptography and Data Security, 2020

2019

Fast and simple constant-time hashing to the BLS12-381 elliptic curve.

Riad S. Wahby, Dan Boneh

IACR Cryptol. ePrint Arch., 2019

Scaling Verifiable Computation Using Efficient Set Accumulators.

Alex Ozdemir, Riad S. Wahby, Dan Boneh

IACR Cryptol. ePrint Arch., 2019

Universal Composability is Secure Compilation.

Marco Patrignani, Riad S. Wahby, Robert Künnemann

CoRR, 2019

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

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

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

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

Doubly-Efficient zkSNARKs Without Trusted Setup.

Riad S. Wahby, Ioanna Tzialla, Abhi Shelat, Justin Thaler, Michael Walfish

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

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

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

2017

Finding and Preventing Bugs in JavaScript Bindings.

Fraser Brown, Shravan Narayan, Riad S. Wahby, Dawson R. Engler, Ranjit Jhala, Deian Stefan

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 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

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

Full Accounting for Verifiable Outsourcing.

Riad S. Wahby, Ye Ji, Andrew J. Blumberg, Abhi Shelat, Justin Thaler, Michael Walfish, Thomas Wies

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

2016

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

Proceedings of the 25th USENIX Security Symposium, 2016

Verifiable ASICs.

Riad S. Wahby, Max Howald, Siddharth Garg, Abhi Shelat, Michael Walfish

Proceedings of the IEEE Symposium on Security and Privacy, 2016

Robust, low-cost, auditable random number generation for embedded system security.

Ben Lampert, Riad S. Wahby, Shane Leonard, Philip Alexander Levis

Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems, SenSys 2016, 2016

2015

Harmful devices considered harmless.

Riad S. Wahby, Sebastian Angel, Max Howald, Joshua B. Leners, Andrew J. Blumberg, Michael Walfish

CoRR, 2015

Efficient RAM and control flow in verifiable outsourced computation.

Riad S. Wahby, Srinath T. V. Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish

Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015