Button to scroll to the top of the page.

Vitaly Shmatikov

Formal Methods, Security

Ph.D., Stanford University

Research Interests

Computer security and privacy, formal methods for analysis of secure systems and protocols.

Selected Publications

V. Srivastava, M. Bond, K. McKinley, V. Shmatikov. A Security Policy Oracle: Detecting Security Holes Using Multiple API Implementations. (2011 ACM SIGPLAN Conference on Programming Language Design and Implementation).

A. Narayanan, V. Shmatikov. De-anonymizing Social Networks. (2009 IEEE Symposium on Security and Privacy).

A. Narayanan, V. Shmatikov. Robust De-anonymization of Large Sparse Datasets. (2008 IEEE Symposium on Security and Privacy).

V. Shmatikov. Probabilistic Model Checking of an Anonymity System. (Journal of Computer Security, 2004).

J. Millen, V. Shmatikov. Constraint Solving for Bounded-Process Cryptographic Protocol Analysis. (2001 ACM Conference on Computer and Communications Security).

  • NSF CAREER Award
  • PET Award for Outstanding Research in Privacy Enhancing Technologies