Computer Security – ESORICS 2015: 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21–25, 2015, Proceedings, Part I

Front Matter....Pages -
Front Matter....Pages 1-1
Towards Security of Internet Naming Infrastructure....Pages 3-22
Waiting for CSP – Securing Legacy Web Applications with JSAgents....Pages 23-42
Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web....Pages 43-65
Front Matter....Pages 67-67
A Practical Approach for Adaptive Data Structure Layout Randomization....Pages 69-89
Trustworthy Prevention of Code Injection in Linux on Embedded Devices....Pages 90-107
Practical Memory Deduplication Attacks in Sandboxed Javascript....Pages 108-122
Front Matter....Pages 123-123
Computational Soundness for Interactive Primitives....Pages 125-145
Verifiably Encrypted Signatures: Security Revisited and a New Construction....Pages 146-164
Interleaving Cryptanalytic Time-Memory Trade-Offs on Non-uniform Distributions....Pages 165-184
Efficient Message Authentication Codes with Combinatorial Group Testing....Pages 185-202
Symmetric-Key Based Proofs of Retrievability Supporting Public Verification....Pages 203-223
DTLS-HIMMO: Achieving DTLS Certificate Security with Symmetric Key Overhead....Pages 224-242
Short Accountable Ring Signatures Based on DDH....Pages 243-265
Updatable Hash Proof System and Its Applications....Pages 266-285
Server-Aided Revocable Identity-Based Encryption....Pages 286-304
Efficient Zero-Knowledge Proofs for Commitments from Learning with Errors over Rings....Pages 305-325
Making Any Identity-Based Encryption Accountable, Efficiently....Pages 326-346
Practical Threshold Password-Authenticated Secret Sharing Protocol....Pages 347-365
On Security of Content-Based Video Stream Authentication....Pages 366-383
Oblivious Maximum Bipartite Matching Size Algorithm with Applications to Secure Fingerprint Identification....Pages 384-406
Front Matter....Pages 123-123
Practical Invalid Curve Attacks on TLS-ECDH....Pages 407-425
Front Matter....Pages 427-427
Challenging the Trustworthiness of PGP: Is the Web-of-Trust Tear-Proof?....Pages 429-446
Transforming Out Timing Leaks, More or Less....Pages 447-467
Small Tweaks Do Not Help: Differential Power Analysis of MILENAGE Implementations in 3G/4G USIM Cards....Pages 468-480
Front Matter....Pages 481-481
Should Cyber-Insurance Providers Invest in Software Security?....Pages 483-502
Lightweight and Flexible Trust Assessment Modules for the Internet of Things....Pages 503-520
Confidence Analysis for Nuclear Arms Control: SMT Abstractions of Bayesian Belief Networks....Pages 521-540
Back Matter....Pages -