Doubly-Efficient zkSNARKs Without Trusted Setup

Riad S. Wahby, Ioanna Tzialla, Abhi Shelat, +2

Cryptographic PrimitiveTrusted SetupEngineeringInformation SecurityVerification +19

Encoding, fast and slow: low-latency video processing using thousands of tiny threads

Sadjad Fouladi, Riad S. Wahby, Brennan Shacklett, +6

Low-latency Video ProcessingEngineeringAdvanced ComputingVideo Coding FormatMultimedia Processor +17

New Architectures for Radio-Frequency DC–DC Power Conversion

Riad S. Wahby, J.S. Shafran, David J. Perreault

IEEE Transactions on Power Electronics

Electrical EngineeringEnergy HarvestingEngineeringPower IcEnergy Efficiency +9

Pantheon: the training ground for internet congestion-control research

Francis Y. Yan, Jestin Ma, Greg D. Hill, +4

USENIX Annual Technical Conference

Training GroundEngineeringInternet Traffic AnalysisData ScienceReal Internet +12

Efficient RAM and Control Flow in Verifiable Outsourced Computation

Riad S. Wahby, Srinath Setty, Zuocheng Ren, +2

Salsify: Low-Latency Network Video through Tighter Integration between a Video Codec and a Transport Protocol

Sadjad Fouladi, John Emmons, Emre Orbay, +3

EngineeringLow-latency Network VideoAdaptive Bitrate StreamingCloud ComputingComputer Engineering +8

FaCT: a DSL for timing-sensitive computation

Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, +7

Cryptographic PrimitiveEngineeringInformation SecurityProcedural AbstractionsComputer Architecture +21

Verifiable ASICs

Riad S. Wahby, Max Howald, Siddharth Garg, +2

Hardware SecurityHigh Throughput AsicsEngineeringHardware EmulationHardware Verification Language +12

Full Accounting for Verifiable Outsourcing

Riad S. Wahby, Ye Ji, Andrew J. Blumberg, +4

EngineeringVerificationLawTechnology LawFormal Verification +18

Finding and Preventing Bugs in JavaScript Bindings

Fraser Brown, Shravan Narayan, Riad S. Wahby, +3

EngineeringRobustness TestingSoftware AnalysisFormal VerificationBug Severity +17