Zachary DeStefano
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 2 in the filters
on a stage with
- Michael Walfish2×
- Arasu Arunonce
- Collin Zhangonce
all 9 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… | ||
| nothing matches | ||