Michael WalfishView profile
Professor
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






