Skip to main content
SpringerLink
Log in
Book cover

Computer Security – ESORICS 2017

22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Simon N. Foley

    1. IMT Atlantique, Rennes, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dieter Gollmann

    1. Hamburg University of Technology, Hamburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Einar Snekkenes

    1. NTNU, Gjøvik, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10492)

Part of the book sub series: Security and Cryptology (LNSC)

Included in the following conference series:

Conference proceedings info: ESORICS 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 papers)

  1. Front Matter

    Pages I-XXI
    Download chapter 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
Back to top

Other volumes

  1. Computer Security – ESORICS 2017

  2. Computer Security – ESORICS 2017

Keywords

About this book

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.

Editors and Affiliations

  • IMT Atlantique, Rennes, France

    Simon N. Foley

  • Hamburg University of Technology, Hamburg, Germany

    Dieter Gollmann

  • NTNU, Gjøvik, Norway

    Einar Snekkenes

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation