| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Vitaly Shmatikov |
Anonymity is not privacy: technical perspective.  |
Commun. ACM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Suman Jana, Donald E. Porter, Vitaly Shmatikov |
TxBox: Building Secure, Efficient Sandboxes with System Transactions. |
IEEE Symposium on Security and Privacy |
2011 |
DBLP DOI BibTeX RDF |
transaction, speculative execution, sandbox |
| 1 | Joseph A. Calandrino, Ann Kilzer, Arvind Narayanan, Edward W. Felten, Vitaly Shmatikov |
"You Might Also Like: " Privacy Risks of Collaborative Filtering. |
IEEE Symposium on Security and Privacy |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, Vitaly Shmatikov |
A security policy oracle: detecting security holes using multiple API implementations. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund L. Wong, Vitaly Shmatikov |
Get off my prefix! the need for dynamic, gerontocratic policies in inter-domain routing. |
DSN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sooel Son, Kathryn S. McKinley, Vitaly Shmatikov |
RoleCast: finding missing security checks when you do not know what checks are. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Chen, George Danezis, Vitaly Shmatikov (eds.) |
Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011 |
ACM Conference on Computer and Communications Security |
2011 |
DBLP BibTeX RDF |
|
| 1 | Arvind Narayanan, Vitaly Shmatikov |
Myths and fallacies of "personally identifiable information". |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Indrajit Roy, Srinath T. V. Setty, Ann Kilzer, Vitaly Shmatikov, Emmett Witchel |
Airavat: Security and Privacy for MapReduce. |
NSDI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sooel Son, Vitaly Shmatikov |
The Hitchhiker's Guide to DNS Cache Poisoning. |
SecureComm |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ehab Al-Shaer, Angelos D. Keromytis, Vitaly Shmatikov (eds.) |
Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8, 2010 |
ACM Conference on Computer and Communications Security |
2010 |
DBLP BibTeX RDF |
|
| 1 | Arvind Narayanan, Vitaly Shmatikov |
De-anonymizing Social Networks |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Arvind Narayanan, Vitaly Shmatikov |
De-anonymizing Social Networks. |
IEEE Symposium on Security and Privacy |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin Brickell, Vitaly Shmatikov |
Privacy-Preserving Classifier Learning. |
Financial Cryptography |
2009 |
DBLP DOI BibTeX RDF |
Data Mining, Privacy, Secure Multiparty Computation |
| 1 | Richard M. Chang, Guofei Jiang, Franjo Ivancic, Sriram Sankaranarayanan, Vitaly Shmatikov |
Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities. |
CSF |
2009 |
DBLP DOI BibTeX RDF |
network security, static analysis, Denial-of-service |
| 1 | Arvind Narayanan, Vitaly Shmatikov |
Robust De-anonymization of Large Sparse Datasets. |
IEEE Symposium on Security and Privacy |
2008 |
DBLP DOI BibTeX RDF |
Privacy, Anonymity, Attack |
| 1 | Somesh Jha, Louis Kruger, Vitaly Shmatikov |
Towards Practical Privacy for Genomic Computation. |
IEEE Symposium on Security and Privacy |
2008 |
DBLP DOI BibTeX RDF |
Privacy, Edit Distance, Genome, Secure Multi-Party Computation, Smith-Waterman |
| 1 | Vitaly Shmatikov (eds.) |
Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, FMSE 2008, Alexandria, VA, USA, October 27, 2008 |
FMSE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Justin Brickell, Vitaly Shmatikov |
The cost of privacy: destruction of data-mining utility in anonymized data publishing. |
KDD |
2008 |
DBLP DOI BibTeX RDF |
data mining, privacy, anonymity, utility |
| 1 | Ajay Mahimkar, Jasraj Dange, Vitaly Shmatikov, Harrick M. Vin, Yin Zhang |
dFence: Transparent Network-based Denial of Service Mitigation. |
NSDI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Vitaly Shmatikov, Ming-Hsiu Wang |
Secure Verification of Location Claims with Simultaneous Distance Modification. |
ASIAN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Prateek Gupta, Vitaly Shmatikov |
Security Analysis of Voice-over-IP Protocols. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund L. Wong, Praveen Balasubramanian, Lorenzo Alvisi, Mohamed G. Gouda, Vitaly Shmatikov |
Truth in advertising: lightweight verification of route integrity. |
PODC |
2007 |
DBLP DOI BibTeX RDF |
security, BGP, interdomain routing |
| 1 | Stanislaw Jarecki, Vitaly Shmatikov |
Efficient Two-Party Secure Computation on Committed Inputs. |
EUROCRYPT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin Brickell, Donald E. Porter, Vitaly Shmatikov, Emmett Witchel |
Privacy-preserving remote diagnostics. |
ACM Conference on Computer and Communications Security |
2007 |
DBLP DOI BibTeX RDF |
data mining, privacy, diagnostics, branching programs |
| 1 | Gethin Norman, Vitaly Shmatikov |
Analysis of probabilistic contract signing. |
Journal of Computer Security |
2006 |
DBLP BibTeX RDF |
|
| 1 | Prateek Gupta, Vitaly Shmatikov |
Key confirmation and adaptive corruptions in the protocol security logic. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Prateek Gupta, Vitaly Shmatikov |
Security Analysis of Voice-over-IP Protocols. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Arvind Narayanan, Vitaly Shmatikov |
On the Limits of Point Function Obfuscation. |
IACR Cryptology ePrint Archive |
2006 |
DBLP BibTeX RDF |
|
| 1 | Arvind Narayanan, Vitaly Shmatikov |
How To Break Anonymity of the Netflix Prize Dataset |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Phillip A. Porras, Vitaly Shmatikov |
Large-scale collection and sanitization of network security data: risks and challenges. |
NSPW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitaly Shmatikov, Ming-Hsiu Wang |
Measuring relationship anonymity in mix networks. |
WPES |
2006 |
DBLP DOI BibTeX RDF |
privacy, anonymity, mix networks |
| 1 | Vitaly Shmatikov, Ming-Hsiu Wang |
Timing Analysis in Low-Latency Mix Networks: Attacks and Defenses. |
ESORICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin Brickell, Vitaly Shmatikov |
Efficient anonymity-preserving data collection. |
KDD |
2006 |
DBLP DOI BibTeX RDF |
data mining, privacy, anonymity |
| 1 | Jonathan K. Millen, Vitaly Shmatikov |
Symbolic protocol analysis with an Abelian group operator or Diffie-Hellman exponentiation. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Vitaly Shmatikov, Carolyn L. Talcott |
Reputation-based trust management. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jonathan K. Millen, Vitaly Shmatikov |
Symbolic protocol analysis with an Abelian group operator or Diffie-Hellman exponentiation. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov |
Contract signing, optimism, and advantage. |
J. Log. Algebr. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Prateek Gupta, Vitaly Shmatikov |
Towards computationally sound symbolic analysis of key exchange protocols. |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stanislaw Jarecki, Vitaly Shmatikov |
Probabilistic Escrow of Financial Transactions with Cumulative Threshold Disclosure. |
Financial Cryptography |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani |
Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajay Mahimkar, Vitaly Shmatikov |
Game-Based Analysis of Denial-of-Service Prevention Protocols. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin Brickell, Vitaly Shmatikov |
Privacy-Preserving Graph Algorithms in the Semi-honest Model. |
ASIACRYPT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Arvind Narayanan, Vitaly Shmatikov |
Fast dictionary attacks on passwords using time-space tradeoff. |
ACM Conference on Computer and Communications Security |
2005 |
DBLP DOI BibTeX RDF |
time-space, cryptanalysis, Markov models, passwords, tradeoff, dictionary attack |
| 1 | Arvind Narayanan, Vitaly Shmatikov |
Obfuscated databases and group privacy. |
ACM Conference on Computer and Communications Security |
2005 |
DBLP DOI BibTeX RDF |
obfuscation, database privacy |
| 1 | Prateek Gupta, Vitaly Shmatikov |
Towards computationally sound symbolic analysis of key exchange protocols. |
FMSE |
2005 |
DBLP DOI BibTeX RDF |
protocol logic, cryptographic protocols, symbolic analysis, computational soundness |
| 1 | Dominic Hughes, Vitaly Shmatikov |
Information Hiding, Anonymity and Privacy: a Modular Approach. |
Journal of Computer Security |
2004 |
DBLP BibTeX RDF |
|
| 1 | Vitaly Shmatikov |
Probabilistic analysis of an anonymity system. |
Journal of Computer Security |
2004 |
DBLP BibTeX RDF |
|
| 1 | Patrick Lincoln, Phillip A. Porras, Vitaly Shmatikov |
Privacy-Preserving Sharing and Correlation of Security Alerts. |
USENIX Security Symposium |
2004 |
DBLP BibTeX RDF |
|
| 1 | Stanislaw Jarecki, Vitaly Shmatikov |
Handcuffing Big Brother: an Abuse-Resilient Transaction Escrow Scheme. |
EUROCRYPT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitaly Shmatikov |
Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roger Dingledine, Vitaly Shmatikov, Paul F. Syverson |
Synchronous Batching: From Cascades to Free Routes. |
Privacy Enhancing Technologies |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov |
Contract Signing, Optimism, and Advantage. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan K. Millen, Vitaly Shmatikov |
Symbolic Protocol Analysis with Products and Diffie-Hellman Exponentiation. |
CSFW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Comon-Lundh, Vitaly Shmatikov |
Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitaly Shmatikov, John C. Mitchell |
Finite-state analysis of two contract signing protocols. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gethin Norman, Vitaly Shmatikov |
Analysis of Probabilistic Contract Signing. |
FASec |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitaly Shmatikov |
Probabilistic Analysis of Anonymity. |
CSFW |
2002 |
DBLP DOI BibTeX RDF |
certificate-chain discovery, certificate-set analysis, model checking, authorization, naming, pushdown system, SPKI/SDSI |
| 1 | Stanislaw Jarecki, Patrick Lincoln, Vitaly Shmatikov |
Negotiated Privacy: (Extended Abstract). |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan K. Millen, Vitaly Shmatikov |
Constraint solving for bounded-process cryptographic protocol analysis. |
ACM Conference on Computer and Communications Security |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitaly Shmatikov, John C. Mitchell |
Analysis of Abuse-Free Contract Signing. |
Financial Cryptography |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitaly Shmatikov, John C. Mitchell |
Analysis of a Fair Exchange Protocol. |
NDSS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov |
A Core Calculus of Classes and Objects. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Amit Patel, Vitaly Shmatikov |
A Core Calculus of Classes and Mixins. |
ECOOP |
1999 |
DBLP DOI BibTeX RDF |
type system, inheritance, operational semantics, object-oriented language, class, calculus, mixin |
| 1 | Vitaly Shmatikov, Ulrich Stern |
Efficient Finite-State Analysis for Large Security Protocols. (PDF / PS) |
CSFW |
1998 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")