Computer Security -- ESORICS 2015

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 FP-Block: Usable Web Privacy by Controlling Browser Fingerprinting
3. Altmetric Badge
   Chapter 2 Mind-Reading: Privacy Attacks Exploiting Cross-App KeyEvent Injections
4. Altmetric Badge
   Chapter 3 Enabling Privacy-Assured Similarity Retrieval over Millions of Encrypted Records
5. Altmetric Badge
   Chapter 4 Privacy-Preserving Link Prediction in Decentralized Online Social Networks
6. Altmetric Badge
   Chapter 5 Privacy-Preserving Observation in Public Spaces
7. Altmetric Badge
   Chapter 6 Privacy-Preserving Context-Aware Recommender Systems: Analysis and New Solutions
8. Altmetric Badge
   Chapter 7 Rich Queries on Encrypted Data: Beyond Exact Matches
9. Altmetric Badge
   Chapter 8 Computer Security -- ESORICS 2015
10. Altmetric Badge
    Chapter 9 Batch Verifiable Computation of Polynomials on Outsourced Data
11. Altmetric Badge
    Chapter 10 CloudBI: Practical Privacy-Preserving Outsourcing of Biometric Identification in the Cloud
12. Altmetric Badge
    Chapter 11 Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment
13. Altmetric Badge
    Chapter 12 Checking Trace Equivalence: How to Get Rid of Nonces?
14. Altmetric Badge
    Chapter 13 Attribute Based Broadcast Encryption with Short Ciphertext and Decryption Key
15. Altmetric Badge
    Chapter 14 Accountable Authority Ciphertext-Policy Attribute-Based Encryption with White-Box Traceability and Public Auditing in the Cloud
16. Altmetric Badge
    Chapter 15 DexHunter: Toward Extracting Hidden Code from Packed Android Applications
17. Altmetric Badge
    Chapter 16 Identifying Arbitrary Memory Access Vulnerabilities in Privilege-Separated Software
18. Altmetric Badge
    Chapter 17 vBox: Proactively Establishing Secure Channels Between Wireless Devices Without Prior Knowledge
19. Altmetric Badge
    Chapter 18 Accurate Specification for Robust Detection of Malicious Behavior in Mobile Environments
20. Altmetric Badge
    Chapter 19 A Bytecode Interpreter for Secure Program Execution in Untrusted Main Memory
21. Altmetric Badge
    Chapter 20 Learning from Others: User Anomaly Detection Using Anomalous Samples from Other Users
22. Altmetric Badge
    Chapter 21 Towards Attack-Resistant Peer-Assisted Indoor Localization
23. Altmetric Badge
    Chapter 22 Leveraging Real-Life Facts to Make Random Passwords More Memorable
24. Altmetric Badge
    Chapter 23 The Emperor’s New Password Creation Policies:
25. Altmetric Badge
    Chapter 24 A Theory of Gray Security Policies
26. Altmetric Badge
    Chapter 25 Factorization of Behavioral Integrity
27. Altmetric Badge
    Chapter 26 Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution
28. Altmetric Badge
    Chapter 27 Enhancing Java Runtime Environment for Smart Cards Against Runtime Attacks
29. Altmetric Badge
    Chapter 28 Making Bitcoin Exchanges Transparent
30. Altmetric Badge
    Chapter 29 Web-to-Application Injection Attacks on Android: Characterization and Detection
31. Altmetric Badge
    Chapter 30 All Your Voices are Belong to Us: Stealing Voices to Fool Humans and Machines
32. Altmetric Badge
    Chapter 31 Balloon: A Forward-Secure Append-Only Persistent Authenticated Data Structure
33. Altmetric Badge
    Chapter 32 On the Fly Design and Co-simulation of Responses Against Simultaneous Attacks