Skip to main content
Book cover
  • Conference proceedings
  • © 2017

Computer Security – ESORICS 2017

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

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)

Conference series link(s): ESORICS: European Symposium on Research in Computer Security

Conference proceedings info: ESORICS 2017.

Sections

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-66402-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)
Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (28 papers)

  1. Front Matter

    Pages I-XXI
    PDF

  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

Back to top

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.
Back to top

Keywords

  • 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
Back to top

Editors and Affiliations

  • IMT Atlantique, Rennes, France

    Simon N. Foley

  • Hamburg University of Technology, Hamburg, Germany

    Dieter Gollmann

  • NTNU, Gjøvik, Norway

    Einar Snekkenes

Back to top

Bibliographic Information

Back to top
Access via your institution
eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-66402-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)
Learn about institutional subscriptions