Michael Walfish

4 papers · 2013–2024 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🏃 Academic Marathon (11) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (11)

Conferences

NSDI (3) OSDI (1)

Top co-authors

Trinabh Gupta (2) Arasu Arun (1) Changgeng Zhao (1) Paul Grubbs (1) Collin Zhang (1) Joseph Bonneau (1) New York University (1) Joshua B. Leners (1) Srinath Setty (1) Natacha Crooks (1)

Keywords

formal verification (1) network privacy (1) policy enforcement (1) zero-knowledge proof (1) smt solving (1) regular expression (1) data loss prevention (1) transactional key-value store (1) serializability verification (1) black-box checking (1)

Papers

Zombie: Middleboxes that Don’t Snoop NSDI 2024

Cobra: Making Transactional Key-Value Stores Verifiably Serializable OSDI 2020

Scalable and Private Media Consumption with Popcorn NSDI 2016

Improving Availability in Distributed Systems with Failure Informers NSDI 2013