in engineering-economic systems at Stanford University, and then Ph.D. in computer science from Stanford University in 2000 under the supervision of John C. Mitchell, where he wrote his dissertation on Finite-State Analysis of Security Protocols.
In 2008, with Arvind Narayanan, Shmatikov showed that it was possible to de-anonymize individual people from this dataset.
By correlating users who made similar reviews, it was possible to nearly perfectly de-identify several people who were present in both datasets.
With Reza Shokri, Shmatikov introduced the first "Membership Inference" attacks on machine learning models.
[7] Shmatikov received the Caspar Bowden PET Award for Outstanding Research in Privacy Enhancing Technologies in 2008, 2014, and 2018.