Riad S. Wahby

According to our database, Riad S. Wahby authored at least 34 papers between 2014 and 2024.

Collaborative distances:

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

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

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

Unlocking the lookup singularity with Lasso.

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

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

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

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

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

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

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

2020

An airdrop that preserves recipient privacy.

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

IACR Cryptol. ePrint Arch., 2020

Unifying Compilers for SNARKs, SMT, and More.

Alex Ozdemir, Fraser Brown, Riad S. Wahby

IACR Cryptol. ePrint Arch., 2020

Compact Certificates of Collective Knowledge.

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

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

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

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

Doubly-efficient zkSNARKs without trusted setup.

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

IACR Cryptol. ePrint Arch., 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

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

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

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

2015

Verifiable ASICs.

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

IACR Cryptol. ePrint Arch., 2015

Harmful devices considered harmless.

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

CoRR, 2015

2014

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