- Secure Verification of Location Claims with Simultaneous Distance Modification
- Probabilistic Escrow of Financial Transactions with Cumulative Threshold Disclosure
- Measuring Relationship Anonymity in Mix Networks Vitaly Shmatikov and MingHsiu Wang
- Deanonymizing Social Networks Arvind Narayanan and Vitaly Shmatikov
- Constraint Solving for BoundedProcess Cryptographic Protocol Analysis
- ReputationBased Trust Management # Vitaly Shmatikov and Carolyn Talcott
- Obfuscated Databases and Group Privacy Arvind Narayanan and Vitaly Shmatikov
- Fast Dictionary Attacks on Passwords Using Time-Space Arvind Narayanan and Vitaly Shmatikov
- 24 communications of the acm | june 2010 | vol. 53 | no. 6 Privacy and security
- Measuring Relationship Anonymity in Mix Networks Vitaly Shmatikov and Ming-Hsiu Wang
- Get Off My Prefix! The Need for Dynamic, Gerontocratic Policies in Inter-domain Routing
- EVE: Verifying Correct Execution of Cloud-Hosted Web Applications The University of Texas at Austin
- Privacy-Preserving Graph Algorithms in the Semi-Honest Model
- LargeScale Collection and Sanitization of Network Security Data: Risks and Challenges
- Security Against ProbeResponse Attacks in Collaborative Intrusion Detection
- Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation
- Fast Dictionary Attacks on Passwords Using TimeSpace Arvind Narayanan and Vitaly Shmatikov
- Key confirmation and adaptive corruptions in the protocol security logic
- De-anonymizing Social Networks Arvind Narayanan and Vitaly Shmatikov
- Probabilistic polynomialtime semantics for a protocol security logic #
- Security Analysis of VoiceoverIP Protocols Prateek Gupta
- Probabilistic Model Checking of an Anonymity System
- Efficient FiniteState Analysis for Large Security Protocols
- TxBox: Building Secure, Efficient Sandboxes with System Transactions The University of Texas at Austin
- The Hitchhiker's Guide to DNS Cache Poisoning Sooel Son and Vitaly Shmatikov
- Airavat: Security and Privacy for MapReduce Indrajit Roy Srinath T.V. Setty Ann Kilzer Vitaly Shmatikov Emmett Witchel
- TxBox: Building Secure, Efficient Sandboxes with System Transactions The University of Texas at Austin
- The Hitchhiker's Guide to DNS Cache Poisoning Sooel Son and Vitaly Shmatikov
- Privacy-Preserving Classifier Learning Justin Brickell and Vitaly Shmatikov
- Efficient Two-Party Secure Computation on Committed Inputs
- Synchronous Batching: From Cascades to Free Routes
- Game-Based Analysis of Denial-of-Service Prevention Protocols Ajay Mahimkar
- Contract Signing, Optimism, and Advantage Rohit Chadha
- Reputation-Based Trust Management Vitaly Shmatikov and Carolyn Talcott
- Finding Semantic Vulnerabilities in PHP Applications The University of Texas at Austin
- Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities
- Security Against Probe-Response Attacks in Collaborative Intrusion Detection
- dFence: Transparent Network-based Denial of Service Mitigation Ajay Mahimkar, Jasraj Dange, Vitaly Shmatikov, Harrick Vin, Yin Zhang
- "You Might Also Like:" Privacy Risks of Collaborative Filtering
- Efficient Anonymity-Preserving Data Collection Justin Brickell and Vitaly Shmatikov
- Large-Scale Collection and Sanitization of Network Security Data: Risks and Challenges
- Timing analysis in low-latency mix networks: attacks and defenses
- Key confirmation and adaptive corruptions in the protocol security logic
- Towards Computationally Sound Symbolic Analysis of Key Exchange Protocols
- Analysis of Probabilistic Contract Signing Gethin Norman1
- Symbolic Protocol Analysis With an Abelian Group Operator or Diffie-Hellman Exponentiation
- Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or
- Operating System Transactions Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach,
- Ensuring Operating System Kernel Integrity with OSck Owen S. Hofmann Alan M. Dunn Sangman Kim Indrajit Roy Emmett Witchel
- Privacy-Preserving Graph Algorithms in the Semi-honest Model
- Timing analysis in lowlatency mix networks: attacks and defenses #
- PrivacyPreserving Remote Diagnostics Justin Brickell Donald E. Porter Vitaly Shmatikov Emmett Witchel
- Probabilistic Model Checking of an Anonymity System
- Obfuscated Databases and Group Privacy Arvind Narayanan and Vitaly Shmatikov
- dFence: Transparent Networkbased Denial of Service Mitigation Ajay Mahimkar, Jasraj Dange, Vitaly Shmatikov, Harrick Vin, Yin Zhang
- EVE: Verifying Correct Execution of CloudHosted Web Applications The University of Texas at Austin
- The Cost of Privacy: Destruction of Data-Mining Utility in Anonymized Data Publishing
- Formal Analysis of Authentication in Bluetooth Device Pairing
- A Security Policy Oracle: Detecting Security Holes Using Multiple API Implementations
- Towards Computationally Sound Symbolic Analysis of Key Exchange Protocols
- Privacy-Preserving Remote Diagnostics Justin Brickell Donald E. Porter Vitaly Shmatikov Emmett Witchel
- Analysis of Probabilistic Contract Signing # Gethin Norman 1 and Vitaly Shmatikov 2
- Privacy-Preserving Sharing and Correlation of Security Alerts
- Secure Verification of Location Claims with Simultaneous Distance Modification
- Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or
- Synchronous Batching: From Cascades to Free Routes
- Handcung Big Brother: An Abuse-Resilient Transaction Escrow Scheme
- Robust Deanonymization of Large Sparse Datasets Arvind Narayanan and Vitaly Shmatikov
- Constraint Solving for Bounded-Process Cryptographic Protocol Analysis
- GameBased Analysis of DenialofService Prevention Protocols Ajay Mahimkar
- Contract Signing, Optimism, and Advantage ? Rohit Chadha 1;4 , John C. Mitchell 2 , Andre Scedrov 1 , and Vitaly Shmatikov 3
- Negotiated Privacy (extended abstract)
- Towards Practical Privacy for Genomic Computation Somesh Jha # Louis Kruger # Vitaly Shmatikov +
- Is it possible to decide whether a cryptographic protocol is secure or not ?
- Cloaking Malware with the Trusted Platform Module Alan M. Dunn Owen S. Hofmann Brent Waters Emmett Witchel
- RoleCast: Finding Missing Security Checks When You Do Not Know What Checks Are
