Prior to joining UT, he worked as a computer scientist at SRI International. Vitaly's research focuses on tools and formal methods for automated analysis and verification of secure systems, as well as various aspects of anonymity and privacy. Vitaly received his PhD in 2000 from Stanford University, with thesis on "Finite-State Analysis of Security Protocols."