Riad S. Wahby
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
12
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SP | Transient Architectural Execution: From Weird Gates to Weird Programs. | Ping-Lun Wang, Fraser Brown, Riccardo Paccagnella, Eyal Ronen, Riad S. Wahby, Yuval Yarom |
| 2025 | SP | CoBBL: Dynamic Constraint Generation for SNARKs. | Kunming Jiang, Fraser Brown, Riad S. Wahby |
| 2025 | SP | ALPACA: Anonymous Blocklisting with Constant-Sized Updatable Proofs. | Jiwon Kim, Abhiram Kothapalli, Orestis Chardouvelis, Riad S. Wahby, Paul Grubbs |
| 2024 | EuroCrypt | Unlocking the Lookup Singularity with Lasso. | Srinath T. V. Setty, Justin Thaler, Riad S. Wahby |
| 2023 | CAV | Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs. | Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett |
| 2023 | CCS | Riggs: Decentralized Sealed-Bid Auctions. | Nirvan Tyagi, Arasu Arun, Cody Freitag, Riad S. Wahby, Joseph Bonneau, David Mazires |
| 2023 | CRYPTO | Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS. | Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby |
| 2023 | SP | 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 |
| 2023 | SP | The ghost is the machine: Weird machines in transient execution. | Ping-Lun Wang, Fraser Brown, Riad S. Wahby |
| 2022 | SP | CirC: Compiler infrastructure for proof systems, software verification, and more. | Alex Ozdemir, Fraser Brown, Riad S. Wahby |
| 2021 | SP | Compact Certificates of Collective Knowledge. | Silvio Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby, Nickolai Zeldovich |
| 2020 | FC | An Airdrop that Preserves Recipient Privacy. | Riad S. Wahby, Dan Boneh, Christopher Jeffrey, Joseph Poon |
| 2019 | PLDI | FaCT: a DSL for timing-sensitive computation. | Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grgoire, Gilles Barthe, Ranjit Jhala, Deian Stefan |
| 2018 | NSDI | 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 |
| 2018 | SP | Doubly-Efficient zkSNARKs Without Trusted Setup. | Riad S. Wahby, Ioanna Tzialla, Abhi Shelat, Justin Thaler, Michael Walfish |
| 2018 | USENIX | 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 |
| 2017 | CCS | Full Accounting for Verifiable Outsourcing. | Riad S. Wahby, Ye Ji, Andrew J. Blumberg, Abhi Shelat, Justin Thaler, Michael Walfish, Thomas Wies |
| 2017 | Mobisys | Trust but Verify: Auditing the Secure Internet of Things. | Judson Wilson, Riad S. Wahby, Henry Corrigan-Gibbs, Dan Boneh, Philip Alexander Levis, Keith Winstein |
| 2017 | NSDI | 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 |
| 2017 | SP | Finding and Preventing Bugs in JavaScript Bindings. | Fraser Brown, Shravan Narayan, Riad S. Wahby, Dawson R. Engler, Ranjit Jhala, Deian Stefan |
| 2016 | SP | Verifiable ASICs. | Riad S. Wahby, Max Howald, Siddharth Garg, Abhi Shelat, Michael Walfish |
| 2016 | SENSYS | Robust, low-cost, auditable random number generation for embedded system security. | Ben Lampert, Riad S. Wahby, Shane Leonard, Philip Alexander Levis |
| 2015 | NDSS | Efficient RAM and control flow in verifiable outsourced computation. | Riad S. Wahby, Srinath T. V. Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish |