Riad S. Wahby

I am a Ph.D. candidate in computer science at Stanford, working with Dan Boneh and Keith Winstein. Broadly speaking, I work on designing and building secure hardware and software systems, tackling questions like "how can we build trustworthy chips?" and "how can we build operating systems that resist subversion by malicious hardware?"

Previously I was a Junior Research Scientist in the NYU Computer Science department and a Visiting Researcher at UT Austin, in both cases working for Mike Walfish; and before jumping into computer science research, I spent ten years as a Staff Design Engineer building analog and mixed-signal integrated circuits at Silicon Labs.

Long, long ago I received my S.B. and M.Eng from MIT. As a master's student, I worked in LEES for David Perreault.

For the latest dirt, consult my CV.


Scaling verifiable computation using efficient set accumulators
Alex Ozdemir, Riad S. Wahby, and Dan Boneh.
USENIX Security Symposium, Security20, August 2020.
Technical report: Cryptology ePrint 2019/1494.

An airdrop that preserves recipient privacy
Riad S. Wahby, Dan Boneh, Christopher Jeffrey, and Joseph Poon.
Financial Cryptography and Data Security, FC20, February 2020.

Universal Composability is Secure Compilation
Marco Patrignani, Riad S. Wahby, and Robert Künnemann.
Principles of Secure Compilation, PriSC20, January 2020.
Technical report: arXiv:1910.08634.

Fast and simple constant-time hashing to the BLS12-381 elliptic curve  [slides]
Riad S. Wahby and Dan Boneh.
IACR Transactions on Cryptographic Hardware and Embedded Systems, CHES19, August 2019.
Technical report: Cryptology ePrint 2019/403.
Also presented at the Workshop on Elliptic Curve Cryptography, ECC19, December 2019.  [slides]

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, and Deian Stefan.
ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI19, June 2019.

Pantheon: the training ground for Internet congestion-control research  (Best paper award.)
Francis Y. Yan, Jestin Ma, Greg Hill, Deepti Raghavan, Riad S. Wahby, Philip Levis, and Keith Winstein.
USENIX Annual Technical Conference, ATC18, July 2018.

Doubly-efficient zkSNARKs without trusted setup  [slides | video]
Riad S. Wahby, Ioanna Tzialla, abhi shelat, Justin Thaler, and Michael Walfish.
IEEE Symposium on Security and Privacy, Oakland18, May 2018.
Technical report: Cryptology ePrint 2017/1132.

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, and Keith Winstein.
USENIX Symposium on Networked Systems Design and Implementation, NSDI18, April 2018.

Full accounting for verifiable outsourcing  [slides | video]
Riad S. Wahby, Ye Ji, Andrew J. Blumberg, abhi shelat, Justin Thaler, Michael Walfish, and Thomas Wies.
ACM Conference on Computer and Communications Security, CCS17, October 2017.
Technical report: Cryptology ePrint 2017/242.
Also presented at the DIMACS Workshop on Outsourcing Computation Securely, July 2017.  [slides | video]

Trust but verify: auditing secure Internet of Things devices
Judson Wilson, Riad S. Wahby, Henry Corrigan-Gibbs, Dan Boneh, Philip Levis, and Keith Winstein.
ACM International Conference on Mobile Systems, Applications, and Services, MobiSys17, June 2017.

Finding and preventing bugs in JavaScript bindings
Fraser Brown, Shravan Narayan, Riad S. Wahby, Dawson Engler, Ranjit Jhala, and Deian Stefan.
IEEE Symposium on Security and Privacy, Oakland17, May 2017.

Encoding, fast and slow: Low-latency video processing using thousands of tiny threads
Sadjad Fouladi, Riad S. Wahby, Brennan Shacklett, Karthikeyan Vasuki Balasubramaniam, William Zheng, Rahul Bhalerao, Anirudh Sivaraman, George Porter, and Keith Winstein.
USENIX Symposium on Networked Systems Design and Implementation, NSDI17, March 2017.

Robust, low-cost, auditable random number generation for embedded system security  [slides]
Ben Lampert, Riad S. Wahby, Shane Leonard, and Philip Levis.
ACM Conference on Embedded Networked Sensor Systems, SenSys16, November 2016.
Technical report: Cryptology ePrint 2016/884.

Defending against malicious peripherals with Cinch
Sebastian Angel, Riad S. Wahby, Max Howald, Joshua B. Leners, Michael Spilo, Zhen Sun, Andrew J. Blumberg, and Michael Walfish.
USENIX Security Symposium, Security16, August 2016.
Technical report: arXiv:1506.01449.

Verifiable ASICs  [slides | video]  (Distinguished student paper award.)
Riad S. Wahby, Max Howald, Siddharth Garg, abhi shelat, and Michael Walfish.
IEEE Symposium on Security and Privacy, Oakland16, May 2016.
Technical report: Cryptology ePrint 2015/1243.
An extended version of this talk appeared at the DIMACS/MACS Workshop on Cryptography in the RAM Model, June 2016.  [slides]

Efficient RAM and control flow in verifiable outsourced computation  [slides]
Riad S. Wahby, Srinath Setty, Zuocheng Ren, Andrew J. Blumberg, and Michael Walfish.
22nd Network and Distributed System Security Symposium, NDSS15, San Diego, CA, February 2015.
Technical report: Cyptology ePrint 2014/674.

New architectures for radio frequency dc-dc power conversion
Juan M. Rivas, Riad S. Wahby, John S. Shafran, and David J. Perreault.
IEEE Transactions on Power Electronics, Volume 21, No. 2, March 2006.
Conference paper: PESC04.

Radio frequency rectifiers for dc-dc power conversion
Riad S. Wahby.
M.Eng thesis, Massachusetts Institute of Technology, 2004.

patents (and current applications)

Power supply with digital control loop
Geoffrey B. Thompson, Siddharth Sundar, Douglas R. Frey, Russel J. Apfel, Marius Goldenberg, Ion C. Tesu, Riad S. Wahby, and Michael J. Mills.

Wide-swing cascode current mirror
Ion C. Tesu and Riad S. Wahby.

Power supply with digital control loop
Riad S. Wahby, Michael J. Mills, Jeffrey A. Whaley, Marius Goldenberg, and Ion C. Tesu.

Isolation receiver
Michael J. Mills, Jing Li, and Riad S. Wahby.

Isolated serializer-deserializer
Siddharth Sundar, Michael J. Mills, Hua Zhu, Riad S. Wahby, Jeffrey L. Sonntag, Yunteng Huang, and Anantha Nag Nemmani.

Suppression of transients in communications across an isolation barrier
Michael J. Mills, Timothy J. Dupuis, Riad S. Wahby, Siddharth Sundar, and Jeffrey L. Sonntag.

Soft-start for isolated power converter
Riad S. Wahby, Jeffrey L. Sonntag, Tufan C. Karalar, Michael J. Mills, Eric B. Smith, Ion C. Tesu, and Donald E. Alfano.

Pseudo-constant frequency control for voltage converter
Riad S. Wahby

Resonant MEMS Lorentz-force magnetometer using force-feedback and frequency-locked coil excitation
Eric B. Smith, Riad S. Wahby, and Yan Zhou.

Techniques for reduced jitter in digital isolators
Timothy J. Dupuis, Jeffrey L. Sonntag, Michael J. Mills, and Riad S. Wahby.

Method and apparatus for switched-mode power conversion at radio frequencies
David J. Perreault, Juan M. Rivas, Riad S. Wahby, and John S. Shafran.

Power supply with digital control loop
Michael J. Mills, Riad S. Wahby, Geoffrey B. Thompson, Douglas R. Frey, Zhimin Li, Siddharth Sundar, and Ion C. Tesu.

Power supply with digital control loop
Riad S. Wahby, Douglas R. Frey, Zhimin Li, Xun Yang, Marius Goldenberg, Ion C. Tesu, and Jeffrey A. Whaley.


Most of my side projects live on github.