Michael Walfish
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 18 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Spain: Succinct Proofs for Numerical Computations | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
Spain introduces approximate constraints and a new proof protocol that represents numerical operations directly over rationals with bounded error, instead of… | ||
| Zombie: Middleboxes that Don’t Snoop | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
Claims the first practical system implementing zero-knowledge middleboxes, built as Zombie and evaluated on DNS filtering, that cuts client and middlebox… | ||
| Defending against Malicious Peripherals with Cinch | USENIX Security '16 | 2016-08-10 |
Cinch virtualizes the USB bus into a sacrificial VM and inserts a modular enforcer between that VM and the protected system, implemented as a Rust user process… | ||
| Improving Availability in Distributed Systems with Failure Informers | NSDI 2013 | 2013-04-02 |
Pigeon implements a failure informer service that groups low-level signals into actionable classes (examples: stop vs unreachability and resource depletion)… | ||
| nothing matches | ||