Computer Security – ESORICS 2013: 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings

Front Matter....Pages -
Practical Covertly Secure MPC for Dishonest Majority – Or: Breaking the SPDZ Limits....Pages 1-18
Practical and Employable Protocols for UC-Secure Circuit Evaluation over ℤ n ....Pages 19-37
Privacy-Preserving Accountable Computation....Pages 38-56
Verifying Web Browser Extensions’ Compliance with Private-Browsing Mode....Pages 57-74
A Quantitative Evaluation of Privilege Separation in Web Browser Designs....Pages 75-93
Estimating Asset Sensitivity by Profiling Users....Pages 94-110
Practical Secure Logging: Seekable Sequential Key Generators....Pages 111-128
Request-Based Comparable Encryption....Pages 129-146
Ensuring File Authenticity in Private DFA Evaluation on Encrypted Files in the Cloud....Pages 147-163
HI-CFG: Construction by Binary Analysis and Application to Attack Polymorphism....Pages 164-181
AnDarwin: Scalable Detection of Semantically Similar Android Applications....Pages 182-199
BISTRO: Binary Component Extraction and Embedding for Software Security Applications....Pages 200-218
Vulnerable Delegation of DNS Resolution....Pages 219-236
Formal Approach for Route Agility against Persistent Attackers....Pages 237-254
Plug-and-Play IP Security....Pages 255-272
Managing the Weakest Link....Pages 273-290
Automated Security Proofs for Almost-Universal Hash for MAC Verification....Pages 291-308
Bounded Memory Protocols and Progressing Collaborative Systems....Pages 309-326
Universally Composable Key-Management....Pages 327-344
A Cryptographic Analysis of OPACITY....Pages 345-362
Symbolic Probabilistic Analysis of Off-Line Guessing....Pages 363-380
ASICS: Authenticated Key Exchange Security Incorporating Certification Systems....Pages 381-399
Efficient Privacy-Enhanced Familiarity-Based Recommender System....Pages 400-417
Privacy-Preserving User Data Oriented Services for Groups with Dynamic Participation....Pages 418-442
Privacy-Preserving Matching of Community-Contributed Content....Pages 443-462
Ballot Secrecy and Ballot Independence Coincide....Pages 463-480
Election Verifiability or Ballot Privacy: Do We Need to Choose?....Pages 481-498
Enforcing Privacy in the Presence of Others: Notions, Formalisations and Relations....Pages 499-516
Mining Malware Specifications through Static Reachability Analysis....Pages 517-535
Patrol: Revealing Zero-Day Attack Paths through Network-Wide System Object Dependencies....Pages 536-555
Measuring and Detecting Malware Downloads in Live Network Traffic....Pages 556-573
Automated Certification of Authorisation Policy Resistance....Pages 574-591
Fine-Grained Access Control System Based on Outsourced Attribute-Based Encryption....Pages 592-609
Purpose Restrictions on Information Use....Pages 610-627
Distributed Shuffling for Preserving Access Confidentiality....Pages 628-645
Range Extension Attacks on Contactless Smart Cards....Pages 646-663
CellFlood: Attacking Tor Onion Routers on the Cheap....Pages 664-681
Nowhere to Hide: Navigating around Privacy in Online Social Networks....Pages 682-699
Current Events: Identifying Webpages by Tapping the Electrical Outlet....Pages 700-717
Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling....Pages 718-735
Data-Confined HTML5 Applications....Pages 736-754
KQguard: Binary-Centric Defense against Kernel Queue Injection Attacks....Pages 755-774
Run-Time Enforcement of Information-Flow Properties on Android....Pages 775-792
Back Matter....Pages -