conftrace_

Michael Walfish

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

Achievements

Jump to papers ↓

🌍 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