Vitaly Shmatikov, PhD
1995 Hertz Fellow
Graduate Studies
Stanford University
Computer Science
Finite-State Analysis of Security Protocols
Undergraduate Studies
University of Washington