Riad S. Wahby

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 41

Top Topics

Transport Protocol

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

USENIX Security Symposium

Publications

Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs. CAV (3) (2023)
Armando Faz-Hernández, Sam Scott, Nick Sullivan, Riad S. Wahby, Christopher A. Wood
Hashing to Elliptic Curves. RFC 9380 (2023)
Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS. CRYPTO (2) (2023)
Ping-Lun Wang, Fraser Brown, Riad S. Wahby
The ghost is the machine: Weird machines in transient execution. SP Workshops (2023)
Edward Chen, Jinhao Zhu, Alex Ozdemir, Riad S. Wahby, Fraser Brown, Wenting Zheng
Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols. SP (2023)
Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs). IACR Cryptol. ePrint Arch. 2023 (2023)
Edward Chen, Jinhao Zhu, Alex Ozdemir, Riad S. Wahby, Fraser Brown, Wenting Zheng
Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols. IACR Cryptol. ePrint Arch. 2023 (2023)
Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
Unlocking the lookup singularity with Lasso. IACR Cryptol. ePrint Arch. 2023 (2023)
Tarak Ben Youssef, Riad S. Wahby
Specialized Proof of Confidential Knowledge (SPoCK). IACR Cryptol. ePrint Arch. 2023 (2023)
Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
Customizable constraint systems for succinct arguments. IACR Cryptol. ePrint Arch. 2023 (2023)
Andrew Kwong, Walter Wang, Jason Kim, Jonathan Berger, Daniel Genkin, Eyal Ronen, Hovav Shacham, Riad S. Wahby, Yuval Yarom
Checking Passwords on Leaky Computers: A Side Channel Analysis of Chrome's Password Leak Detect Protocol. USENIX Security Symposium (2023)
Alex Ozdemir, Fraser Brown, Riad S. Wahby
CirC: Compiler infrastructure for proof systems, software verification, and more. IEEE Symposium on Security and Privacy (2022)
Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
Brakedown: Linear-time and post-quantum SNARKs for R1CS. IACR Cryptol. ePrint Arch. 2021 (2021)
Silvio Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby, Nickolai Zeldovich
Compact Certificates of Collective Knowledge. IEEE Symposium on Security and Privacy (2021)
Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
Linear-time zero-knowledge SNARKs for R1CS. IACR Cryptol. ePrint Arch. 2021 (2021)
Alex Ozdemir, Riad S. Wahby, Barry Whitehat, Dan Boneh
Scaling Verifiable Computation Using Efficient Set Accumulators. USENIX Security Symposium (2020)
Alex Ozdemir, Fraser Brown, Riad S. Wahby
Unifying Compilers for SNARKs, SMT, and More. IACR Cryptol. ePrint Arch. 2020 (2020)
Riad S. Wahby, Dan Boneh, Christopher Jeffrey, Joseph Poon
An airdrop that preserves recipient privacy. IACR Cryptol. ePrint Arch. 2020 (2020)
Silvio Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby, Nickolai Zeldovich
Compact Certificates of Collective Knowledge. IACR Cryptol. ePrint Arch. 2020 (2020)
Riad S. Wahby, Dan Boneh, Christopher Jeffrey, Joseph Poon
An Airdrop that Preserves Recipient Privacy. Financial Cryptography (2020)
Alex Ozdemir, Riad S. Wahby, Dan Boneh
Scaling Verifiable Computation Using Efficient Set Accumulators. IACR Cryptol. ePrint Arch. 2019 (2019)
Riad S. Wahby, Dan Boneh
Fast and simple constant-time hashing to the BLS12-381 elliptic curve. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2019 (4) (2019)
Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, Deian Stefan
FaCT: a DSL for timing-sensitive computation. PLDI (2019)
Marco Patrignani, Riad S. Wahby, Robert Künneman
Universal Composability is Secure Compilation. CoRR (2019)
Riad S. Wahby, Dan Boneh
Fast and simple constant-time hashing to the BLS12-381 elliptic curve. IACR Cryptol. ePrint Arch. 2019 (2019)
Sadjad Fouladi, John Emmons, Emre Orbay, Catherine Wu, Riad S. Wahby, Keith Winstein
Salsify: Low-Latency Network Video through Tighter Integration between a Video Codec and a Transport Protocol. NSDI (2018)
Francis Y. Yan, Jestin Ma, Greg D. Hill, Deepti Raghavan, Riad S. Wahby, Philip Alexander Levis, Keith Winstein
Pantheon: the training ground for Internet congestion-control research. USENIX Annual Technical Conference (2018)
Riad S. Wahby, Ioanna Tzialla, Abhi Shelat, Justin Thaler, Michael Walfish
Doubly-Efficient zkSNARKs Without Trusted Setup. IEEE Symposium on Security and Privacy (2018)
Riad S. Wahby, Ye Ji, Andrew J. Blumberg, Abhi Shelat, Justin Thaler, Michael Walfish, Thomas Wies
Full Accounting for Verifiable Outsourcing. CCS (2017)
Riad S. Wahby, Ioanna Tzialla, Abhi Shelat, Justin Thaler, Michael Walfish
Doubly-efficient zkSNARKs without trusted setup. IACR Cryptol. ePrint Arch. 2017 (2017)
Judson Wilson, Riad S. Wahby, Henry Corrigan-Gibbs, Dan Boneh, Philip Alexander Levis, Keith Winstein
Trust but Verify: Auditing the Secure Internet of Things. MobiSys (2017)
Fraser Brown, Shravan Narayan, Riad S. Wahby, Dawson R. Engler, Ranjit Jhala, Deian Stefan
Finding and Preventing Bugs in JavaScript Bindings. IEEE Symposium on Security and Privacy (2017)
Riad S. Wahby, Ye Ji, Andrew J. Blumberg, Abhi Shelat, Justin Thaler, Michael Walfish, Thomas Wies
Full accounting for verifiable outsourcing. IACR Cryptol. ePrint Arch. 2017 (2017)
Sadjad Fouladi, Riad S. Wahby, Brennan Shacklett, Karthikeyan Balasubramaniam, William Zeng, Rahul Bhalerao, Anirudh Sivaraman, George Porter, Keith Winstein
Encoding, Fast and Slow: Low-Latency Video Processing Using Thousands of Tiny Threads. NSDI (2017)
Ben Lampert, Riad S. Wahby, Shane Leonard, Philip Alexander Levis
Robust, low-cost, auditable random number generation for embedded system security. SenSys (2016)
Riad S. Wahby, Max Howald, Siddharth Garg, Abhi Shelat, Michael Walfish
Verifiable ASICs. IEEE Symposium on Security and Privacy (2016)
Ben Lampert, Riad S. Wahby, Shane Leonard, Philip Alexander Levis
Robust, low-cost, auditable random number generation for embedded system security. IACR Cryptol. ePrint Arch. 2016 (2016)
Sebastian Angel, Riad S. Wahby, Max Howald, Joshua B. Leners, Michael Spilo, Zhen Sun, Andrew J. Blumberg, Michael Walfish
Defending against Malicious Peripherals with Cinch. USENIX Security Symposium (2016)
Riad S. Wahby, Sebastian Angel, Max Howald, Joshua B. Leners, Andrew J. Blumberg, Michael Walfish
Harmful devices considered harmless. CoRR (2015)
Riad S. Wahby, Max Howald, Siddharth Garg, Abhi Shelat, Michael Walfish
Verifiable ASICs. IACR Cryptol. ePrint Arch. 2015 (2015)
Riad S. Wahby, Srinath T. V. Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish
Efficient RAM and control flow in verifiable outsourced computation. NDSS (2015)
Riad S. Wahby, Srinath T. V. Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish
Efficient RAM and control flow in verifiable outsourced computation. IACR Cryptol. ePrint Arch. 2014 (2014)