Computer Security – ESORICS 2017

1. Front Matter

   Pages I-XXI

   PDF

2. From Intrusion Detection to Software Design

   • Sandro Etalle

   Pages 1-10

3. Justifying Security Measures — a Position Paper

   • Cormac Herley

   Pages 11-17

4. The Once and Future Onion

   • Paul Syverson

   Pages 18-28

5. Tightly Secure Ring-LWE Based Key Encapsulation with Short Ciphertexts

   • Martin R. Albrecht, Emmanuela Orsini, Kenneth G. Paterson, Guy Peer, Nigel P. Smart

   Pages 29-46

6. Tree-Based Cryptographic Access Control

   • James Alderman, Naomi Farley, Jason Crampton

   Pages 47-64

7. Source Code Authorship Attribution Using Long Short-Term Memory Based Networks

   • Bander Alsulami, Edwin Dauber, Richard Harang, Spiros Mancoridis, Rachel Greenstadt

   Pages 65-82

8. Is My Attack Tree Correct?

   • Maxime Audinot, Sophie Pinchinat, Barbara Kordy

   Pages 83-102

9. Server-Aided Secure Computation with Off-line Parties

   • Foteini Baldimtsi, Dimitrios Papadopoulos, Stavros Papadopoulos, Alessandra Scafuro, Nikos Triandopoulos

   Pages 103-123

10. We Are Family: Relating Information-Flow Trackers

    • Musard Balliu, Daniel Schoepe, Andrei Sabelfeld

    Pages 124-145

11. Labeled Homomorphic Encryption

    • Manuel Barbosa, Dario Catalano, Dario Fiore

    Pages 146-166

12. MTD CBITS: Moving Target Defense for Cloud-Based IT Systems

    • Alexandru G. Bardas, Sathya Chandran Sundaramurthy, Xinming Ou, Scott A. DeLoach

    Pages 167-186

13. Modular Verification of Protocol Equivalence in the Presence of Randomness

    • Matthew S. Bauer, Rohit Chadha, Mahesh Viswanathan

    Pages 187-205

14. Non-interactive Provably Secure Attestations for Arbitrary RSA Prime Generation Algorithms

    • Fabrice Benhamouda, Houda Ferradi, Rémi Géraud, David Naccache

    Pages 206-223

15. Reusing Nonces in Schnorr Signatures

    • Marc Beunardeau, Aisling Connolly, Houda Ferradi, Rémi Géraud, David Naccache, Damien Vergnaud

    Pages 224-241

16. WebPol: Fine-Grained Information Flow Policies for Web Browsers

    • Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer

    Pages 242-259

17. Verifying Constant-Time Implementations by Abstract Interpretation

    • Sandrine Blazy, David Pichardie, Alix Trieu

    Pages 260-277

18. Mirage: Toward a Stealthier and Modular Malware Analysis Sandbox for Android

    • Lorenzo Bordoni, Mauro Conti, Riccardo Spolaor

    Pages 278-296

19. Zero Round-Trip Time for the Extended Access Control Protocol

    • Jacqueline Brendel, Marc Fischlin

    Pages 297-314

20. Server-Supported RSA Signatures for Mobile Devices

    • Ahto Buldas, Aivo Kalu, Peeter Laud, Mart Oruaas

    Pages 315-333

The two-volume set, LNCS 10492 and LNCS 10493 constitutes the refereed proceedings of the 22nd European Symposium on Research in Computer Security, ESORICS 2017, held in Oslo, Norway, in September 2017.

The 54 revised full papers presented were carefully reviewed and selected from 338 submissions. The papers address issues such as data protection; security protocols; systems; web and network security; privacy; threat modeling and detection; information flow; and security in emerging applications such as cryptocurrencies, the Internet of Things and automotive.

• Cryptographic applications
• formal security models
• authentication
• access control
• security protocols
• privacy preserving protocols
• embedded systems security
• web security
• intrusion detection
• mobile and wireless security
• cryptography
• data privacy
• software engineering
• semantics
• privacy
• internet
• public key cryptography
• programming languages
• algorithm analysis and problem complexity

• IMT Atlantique, Rennes, France

  Simon N. Foley

• Hamburg University of Technology, Hamburg, Germany

  Dieter Gollmann

• NTNU, Gjøvik, Norway

  Einar Snekkenes

Policies and ethics