Riad S. Wahby - RankMe

56 papers A* 16A 1Misc 3Journal 29Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	ALPACA: Anonymous Blocklisting with Constant-Sized Updatable Proofs. SP Jiwon Kim, Abhiram Kothapalli, Orestis Chardouvelis, Riad S. Wahby, Paul Grubbs
2025	J	`jnl`	ALPACA: Anonymous Blocklisting with Constant-Sized Updatable Proofs. IACR Cryptol. ePrint Arch. Jiwon Kim, Abhiram Kothapalli, Orestis Chardouvelis, Riad S. Wahby, Paul Grubbs
2025	J	`jnl`	Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs. Formal Methods Syst. Des. Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
2025	A*	`conf`	CoBBL: Dynamic Constraint Generation for SNARKs. SP Kunming Jiang, Fraser Brown, Riad S. Wahby
2025	J	`jnl`	CoBBl: Dynamic constraint generation for SNARKs. IACR Cryptol. ePrint Arch. Kunming Jiang, Fraser Brown, Riad S. Wahby
2025	J	`jnl`	Sybil-Resistant Parallel Mixing. Proc. Priv. Enhancing Technol. Maya Kleinstein, Riad S. Wahby, Yossi Gilad
2024	A*	`conf`	Bending microarchitectural weird machines towards practicality. USENIX Security Symposium Ping-Lun Wang, Riccardo Paccagnella, Riad S. Wahby, Fraser Brown
2024	J	`jnl`	NOTRY: Deniable messaging with retroactive avowal. Proc. Priv. Enhancing Technol. Faxing Wang, Shaanan Cohney, Riad S. Wahby, Joseph Bonneau
2024	J	`jnl`	Universal Composability Is Robust Compilation. ACM Trans. Program. Lang. Syst. Marco Patrignani, Robert Künnemann, Riad S. Wahby, Ethan Cecchetti
2024	—	`conf`	Unlocking the Lookup Singularity with Lasso. EUROCRYPT (6) Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2023	J	`jnl`	Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs). IACR Cryptol. ePrint Arch. Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
2023	—	`conf`	Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs. CAV (3) Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
2023	—	`conf`	Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS. CRYPTO (2) Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2023	A*	`conf`	Checking Passwords on Leaky Computers: A Side Channel Analysis of Chrome's Password Leak Detect Protocol. USENIX Security Symposium Andrew Kwong, Walter Wang, Jason Kim, Jonathan Berger, Daniel Genkin, Eyal Ronen, Hovav Shacham, Riad S. Wahby, Yuval Yarom
2023	J	`jnl`	Customizable constraint systems for succinct arguments. IACR Cryptol. ePrint Arch. Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2023	J	`jnl`	Hashing to Elliptic Curves. RFC Armando Faz-Hernández, Sam Scott, Nick Sullivan, Riad S. Wahby, Christopher A. Wood
2023	J	`jnl`	NOTRY: deniable messaging with retroactive avowal. IACR Cryptol. ePrint Arch. Faxing Wang, Shaanan Cohney, Riad S. Wahby, Joseph Bonneau
2023	A*	`conf`	Riggs: Decentralized Sealed-Bid Auctions. CCS Nirvan Tyagi, Arasu Arun, Cody Freitag, Riad S. Wahby, Joseph Bonneau, David Mazières
2023	J	`jnl`	Riggs: Decentralized Sealed-Bid Auctions. IACR Cryptol. ePrint Arch. Nirvan Tyagi, Arasu Arun, Cody Freitag, Riad S. Wahby, Joseph Bonneau, David Mazières
2023	A*	`conf`	Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols. SP Edward Chen, Jinhao Zhu, Alex Ozdemir, Riad S. Wahby, Fraser Brown, Wenting Zheng
2023	J	`jnl`	Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols. IACR Cryptol. ePrint Arch. Edward Chen, Jinhao Zhu, Alex Ozdemir, Riad S. Wahby, Fraser Brown, Wenting Zheng
2023	J	`jnl`	Specialized Proof of Confidential Knowledge (SPoCK). IACR Cryptol. ePrint Arch. Tarak Ben Youssef, Riad S. Wahby
2023	—	`conf`	The ghost is the machine: Weird machines in transient execution. SP (Workshops) Ping-Lun Wang, Fraser Brown, Riad S. Wahby
2023	J	`jnl`	Unlocking the lookup singularity with Lasso. IACR Cryptol. ePrint Arch. Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2022	A*	`conf`	CirC: Compiler infrastructure for proof systems, software verification, and more. SP Alex Ozdemir, Fraser Brown, Riad S. Wahby
2021	J	`jnl`	Brakedown: Linear-time and post-quantum SNARKs for R1CS. IACR Cryptol. ePrint Arch. Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2021	A*	`conf`	Compact Certificates of Collective Knowledge. SP Silvio Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby, Nickolai Zeldovich
2021	—	`—`	Concretely efficient interactive proofs and their applications. Riad S. Wahby
2021	J	`jnl`	Linear-time zero-knowledge SNARKs for R1CS. IACR Cryptol. ePrint Arch. Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2020	—	`conf`	An Airdrop that Preserves Recipient Privacy. Financial Cryptography Riad S. Wahby, Dan Boneh, Christopher Jeffrey, Joseph Poon
2020	J	`jnl`	An airdrop that preserves recipient privacy. IACR Cryptol. ePrint Arch. Riad S. Wahby, Dan Boneh, Christopher Jeffrey, Joseph Poon
2020	J	`jnl`	Compact Certificates of Collective Knowledge. IACR Cryptol. ePrint Arch. Silvio Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby, Nickolai Zeldovich
2020	A*	`conf`	Scaling Verifiable Computation Using Efficient Set Accumulators. USENIX Security Symposium Alex Ozdemir, Riad S. Wahby, Barry Whitehat, Dan Boneh
2020	J	`jnl`	Unifying Compilers for SNARKs, SMT, and More. IACR Cryptol. ePrint Arch. Alex Ozdemir, Fraser Brown, Riad S. Wahby
2019	A*	`conf`	FaCT: a DSL for timing-sensitive computation. PLDI Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, Deian Stefan
2019	J	`jnl`	Fast and simple constant-time hashing to the BLS12-381 elliptic curve. IACR Cryptol. ePrint Arch. Riad S. Wahby, Dan Boneh
2019	J	`jnl`	Fast and simple constant-time hashing to the BLS12-381 elliptic curve. IACR Trans. Cryptogr. Hardw. Embed. Syst. Riad S. Wahby, Dan Boneh
2019	J	`jnl`	Scaling Verifiable Computation Using Efficient Set Accumulators. IACR Cryptol. ePrint Arch. Alex Ozdemir, Riad S. Wahby, Dan Boneh
2019	J	`jnl`	Universal Composability is Secure Compilation. CoRR Marco Patrignani, Riad S. Wahby, Robert Künnemann
2018	A*	`conf`	Doubly-Efficient zkSNARKs Without Trusted Setup. IEEE Symposium on Security and Privacy Riad S. Wahby, Ioanna Tzialla, Abhi Shelat, Justin Thaler, Michael Walfish
2018	—	`conf`	Pantheon: the training ground for Internet congestion-control research. USENIX ATC Francis Y. Yan, Jestin Ma, Greg D. Hill, Deepti Raghavan, Riad S. Wahby, Philip Alexander Levis, Keith Winstein
2018	Misc	`conf`	Salsify: Low-Latency Network Video through Tighter Integration between a Video Codec and a Transport Protocol. NSDI Sadjad Fouladi, John Emmons, Emre Orbay, Catherine Wu, Riad S. Wahby, Keith Winstein
2017	J	`jnl`	Doubly-efficient zkSNARKs without trusted setup. IACR Cryptol. ePrint Arch. Riad S. Wahby, Ioanna Tzialla, Abhi Shelat, Justin Thaler, Michael Walfish
2017	Misc	`conf`	Encoding, Fast and Slow: Low-Latency Video Processing Using Thousands of Tiny Threads. NSDI Sadjad Fouladi, Riad S. Wahby, Brennan Shacklett, Karthikeyan Balasubramaniam, William Zeng, Rahul Bhalerao, Anirudh Sivaraman, George Porter, Keith Winstein
2017	A*	`conf`	Finding and Preventing Bugs in JavaScript Bindings. IEEE Symposium on Security and Privacy Fraser Brown, Shravan Narayan, Riad S. Wahby, Dawson R. Engler, Ranjit Jhala, Deian Stefan
2017	A*	`conf`	Full Accounting for Verifiable Outsourcing. CCS Riad S. Wahby, Ye Ji, Andrew J. Blumberg, Abhi Shelat, Justin Thaler, Michael Walfish, Thomas Wies
2017	J	`jnl`	Full accounting for verifiable outsourcing. IACR Cryptol. ePrint Arch. Riad S. Wahby, Ye Ji, Andrew J. Blumberg, Abhi Shelat, Justin Thaler, Michael Walfish, Thomas Wies
2017	A	`conf`	Trust but Verify: Auditing the Secure Internet of Things. MobiSys Judson Wilson, Riad S. Wahby, Henry Corrigan-Gibbs, Dan Boneh, Philip Alexander Levis, Keith Winstein
2016	A*	`conf`	Defending against Malicious Peripherals with Cinch. USENIX Security Symposium Sebastian Angel, Riad S. Wahby, Max Howald, Joshua B. Leners, Michael Spilo, Zhen Sun, Andrew J. Blumberg, Michael Walfish
2016	Misc	`conf`	Robust, low-cost, auditable random number generation for embedded system security. SenSys Ben Lampert, Riad S. Wahby, Shane Leonard, Philip Alexander Levis
2016	J	`jnl`	Robust, low-cost, auditable random number generation for embedded system security. IACR Cryptol. ePrint Arch. Ben Lampert, Riad S. Wahby, Shane Leonard, Philip Alexander Levis
2016	A*	`conf`	Verifiable ASICs. IEEE Symposium on Security and Privacy Riad S. Wahby, Max Howald, Siddharth Garg, Abhi Shelat, Michael Walfish
2015	A*	`conf`	Efficient RAM and control flow in verifiable outsourced computation. NDSS Riad S. Wahby, Srinath T. V. Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish
2015	J	`jnl`	Harmful devices considered harmless. CoRR Riad S. Wahby, Sebastian Angel, Max Howald, Joshua B. Leners, Andrew J. Blumberg, Michael Walfish
2015	J	`jnl`	Verifiable ASICs. IACR Cryptol. ePrint Arch. Riad S. Wahby, Max Howald, Siddharth Garg, Abhi Shelat, Michael Walfish
2014	J	`jnl`	Efficient RAM and control flow in verifiable outsourced computation. IACR Cryptol. ePrint Arch. Riad S. Wahby, Srinath T. V. Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish