Michael Walfish

Michael Walfish is a Professor at the Courant Institute of Mathematical Sciences within New York University. His work focuses on computer systems, network security, and verifiable computation with applications in distributed systems and cybersecurity.

• Current faculty member (not retired or former staff)
• Teaching experience includes advanced systems courses like Operating Systems and Honors Operating Systems at NYU

Research interests span multiple dimensions:

• Network security and defense mechanisms
• Verifiable computation systems
• Distributed system design
• Zero-knowledge proofs applications
• Hardware and software security

Recent publications demonstrate strong focus on:

• Zero-knowledge systems (Zombie, Verifiable ASICs)
• Web and email security (Pretzel, Yesquel)
• Probabilistic verification (Less is more)
• Cryptographic protocols in systems (Cobra, DQE)

Scientific recognition:

• Best Paper Award at SOSP 2017
• Distinguished Student Paper Award at Security 2016