Riad S. Wahby

Defending against malicious peripherals with Cinch

Malicious peripherals designed to attack their host computers are a growing problem. Inexpensive and powerful peripherals that attach to plug-and-play buses have made such attacks easy to mount....

Robust, low-cost, auditable random number generation for embedded system security

Efficient RAM and control flow in verifiable outsourced computation

Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs

An Airdrop that Preserves Recipient Privacy

Pantheon: the training ground for Internet congestion-control research

Checking Passwords on Leaky Computers: A Side Channel Analysis of Chrome's Password Leak Detect Protocol

Scaling Verifiable Computation Using Efficient Set Accumulators

Bending microarchitectural weird machines towards practicality

Defending against Malicious Peripherals with Cinch

ALPACA: Anonymous Blocklisting with Constant-Sized Updatable Proofs

Doubly-Efficient zkSNARKs Without Trusted Setup

The ghost is the machine: Weird machines in transient execution

CirC: Compiler infrastructure for proof systems, software verification, and more

CoBBL: Dynamic Constraint Generation for SNARKs

Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols

Finding and Preventing Bugs in JavaScript Bindings

Compact Certificates of Collective Knowledge