Travelled to:
1 × Canada
1 × Spain
2 × Portugal
6 × USA
Collaborated with:
J.Brickell K.S.McKinley A.Johnson ∅ H.Comon-Lundh S.Son V.Bono A.Patel V.Srivastava M.D.Bond A.Datta A.Derek J.C.Mitchell M.Turuani A.M.Dunn M.Z.Lee S.Jana S.Kim M.Silberstein Y.Xu E.Witchel
Talks about:
secur (4) data (4) privaci (3) protocol (2) preserv (2) anonym (2) check (2) probabilist (1) cryptograph (1) constraint (1)
Person: Vitaly Shmatikov
DBLP: Shmatikov:Vitaly
Contributed to:
Wrote 10 papers:
- KDD-2013-JohnsonS #data analysis #privacy
- Privacy-preserving data exploration in genome-wide association studies (AJ, VS), pp. 1079–1087.
- OSDI-2012-DunnLJKSXSW #privacy
- Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels (AMD, MZL, SJ, SK, MS, YX, VS, EW), pp. 61–75.
- OOPSLA-2011-SonMS #named #security #what
- RoleCast: finding missing security checks when you do not know what checks are (SS, KSM, VS), pp. 1069–1084.
- PLDI-2011-SrivastavaBMS #api #detection #implementation #multi #policy #security #using
- A security policy oracle: detecting security holes using multiple API implementations (VS, MDB, KSM, VS), pp. 343–354.
- KDD-2008-BrickellS #cost analysis #privacy
- The cost of privacy: destruction of data-mining utility in anonymized data publishing (JB, VS), pp. 70–78.
- KDD-2006-BrickellS #performance
- Efficient anonymity-preserving data collection (JB, VS), pp. 76–85.
- ICALP-2005-DattaDMST #logic #polynomial #probability #protocol #security #semantics
- Probabilistic Polynomial-Time Semantics for a Protocol Security Logic (AD, AD, JCM, VS, MT), pp. 16–29.
- ESOP-2004-Shmatikov #analysis #composition #decidability #encryption #protocol
- Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation (VS), pp. 355–369.
- LICS-2003-Comon-LundhS #constraints #deduction #theorem proving
- Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or (HCL, VS), p. 271–?.
- ECOOP-1999-BonoPS #calculus #mixin
- A Core Calculus of Classes and Mixins (VB, AP, VS), pp. 43–66.