معرفی
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
۰مقاله منتشرشده
