Riad S. Wahby

I am a Ph.D. candidate in computer science at Stanford. 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.


Doubly-efficient zkSNARKs without trusted setup
Riad S. Wahby, Ioanna Tzialla, abhi shelat, Justin Thaler, and Michael Walfish.
Technical report: Cryptology ePrint 2017/1132.

Full accounting for verifiable outsourcing  [slides]
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.

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.

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


Most of my side projects live on github.