BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Shmatikov:Vitaly

Contributed to:

KDD 20132013
OSDI 20122012
OOPSLA 20112011
PLDI 20112011
KDD 20082008
KDD 20062006
ICALP 20052005
ESOP 20042004
LICS 20032003
ECOOP 19991999

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.