Computer Security – ESORICS 2012: 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings

Front Matter....Pages -
Modeling and Enhancing Android’s Permission System....Pages 1-18
Hardening Access Control and Data Protection in GFS-like File Systems....Pages 19-36
Attack of the Clones: Detecting Cloned Applications on Android Markets....Pages 37-54
Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing....Pages 55-72
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions....Pages 73-90
Deciding Epistemic and Strategic Properties of Cryptographic Protocols....Pages 91-108
Satisfiability and Feasibility in a Relationship-Based Workflow Authorization Model....Pages 109-126
Deciding Security for a Fragment of ASLan....Pages 127-144
A Probabilistic Framework for Localization of Attackers in MANETs....Pages 145-162
Robust Probabilistic Fake Packet Injection for Receiver-Location Privacy in WSN....Pages 163-180
Privacy-Aware Message Exchanges for Geographically Routed Human Movement Networks....Pages 181-198
Trust No One Else: Detecting MITM Attacks against SSL/TLS without Third-Parties....Pages 199-216
X.509 Forensics: Detecting and Localising the SSL/TLS Men-in-the-Middle....Pages 217-234
A Practical Man-In-The-Middle Attack on Signal-Based Key Generation Protocols....Pages 235-252
The Silence of the LANs: Efficient Leakage Resilience for IPsec VPNs....Pages 253-270
Security of Patched DNS....Pages 271-288
Revealing Abuses of Channel Assignment Protocols in Multi-channel Wireless Networks: An Investigation Logic Approach....Pages 289-306
Exploring Linkability of User Reviews....Pages 307-324
Formal Analysis of Privacy in an eHealth Protocol....Pages 325-342
PRIVATUS: Wallet-Friendly Privacy Protection for Smart Meters....Pages 343-360
SHARP: Private Proximity Test and Secure Handshake with Cheat-Proof Location Tags....Pages 361-378
Secure Proximity Detection for NFC Devices Based on Ambient Sensor Data....Pages 379-396
Enhancing Location Privacy for Electric Vehicles (at the Right time)....Pages 397-414
Design and Implementation of a Terrorist Fraud Resilient Distance Bounding System....Pages 415-432
Applying Divertibility to Blind Ballot Copying in the Helios Internet Voting System....Pages 433-450
Defining Privacy for Weighted Votes, Single and Multi-voter Coercion....Pages 451-468
TorScan: Tracing Long-Lived Connections and Differential Scanning Attacks....Pages 469-486
Introducing the gMix Open Source Framework for Mix Implementations....Pages 487-504
Secure and Efficient Outsourcing of Sequence Comparisons....Pages 505-522
Third-Party Private DFA Evaluation on Encrypted Files in the Cloud....Pages 523-540
New Algorithms for Secure Outsourcing of Modular Exponentiations....Pages 541-556
Towards Symbolic Encryption Schemes....Pages 557-572
Decision Procedures for Simulatability....Pages 573-590
Model-Checking Bisimulation-Based Information Flow Properties for Infinite State Systems....Pages 591-608
Identity-Based Traitor Tracing with Short Private Key and Short Ciphertext....Pages 609-626
Identity-Based Encryption with Master Key-Dependent Message Security and Leakage-Resilience....Pages 627-642
Unique Group Signatures....Pages 643-660
Relations among Notions of Privacy for RFID Authentication Protocols....Pages 661-678
PE(AR) 2 : Privacy-Enhanced Anonymous Authentication with Reputation and Revocation....Pages 679-696
Dismantling iClass and iClass Elite....Pages 697-715
Evaluation of Standardized Password-Based Key Derivation against Parallel Processing Platforms....Pages 716-733
Beyond eCK: Perfect Forward Secrecy under Actor Compromise and Ephemeral-Key Reveal....Pages 734-751
Bleichenbacher’s Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption....Pages 752-769
On the Security of Password Manager Database Formats....Pages 770-787
Scalable Telemetry Classification for Automated Malware Detection....Pages 788-805
Abstraction-Based Malware Analysis Using Rewriting and Model Checking....Pages 806-823
Detecting Phishing Emails the Natural Language Way....Pages 824-841
JVM-Portable Sandboxing of Java’s Native Libraries....Pages 842-858
Codejail: Application-Transparent Isolation of Libraries with Tight Program Interactions....Pages 859-876
 SocialImpact : Systematic Analysis of Underground Social Dynamics....Pages 877-894
Back Matter....Pages -