Skip to main content
  • Conference proceedings
  • © 2018

Engineering Secure Software and Systems

10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): ESSoS: International Symposium on Engineering Secure Software and Systems

Conference proceedings info: ESSoS 2018.

Buy it now

Buying options

eBook USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.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

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

Table of contents (10 papers)

  1. Front Matter

    Pages I-IX
  2. A Vision for Enhancing Security of Cryptography in Executables

    • Otto Brechelmacher, Willibald Krenn, Thorsten Tarrach
    Pages 1-8
  3. Enforcing Full-Stack Memory-Safety in Cyber-Physical Systems

    • Eyasu Getahun Chekole, Sudipta Chattopadhyay, Martín Ochoa, Guo Huaqun
    Pages 9-26
  4. Model Checking the Information Flow Security of Real-Time Systems

    • Christopher Gerking, David Schubert, Eric Bodden
    Pages 27-43
  5. Off-Limits: Abusing Legacy x86 Memory Segmentation to Spy on Enclaved Execution

    • Jago Gyselinck, Jo Van Bulck, Frank Piessens, Raoul Strackx
    Pages 44-60
  6. One Leak Is Enough to Expose Them All

    • Mohammadreza Hazhirpasand, Mohammad Ghafari
    Pages 61-76
  7. Security Analysis of Drone Communication Protocols

    • Christian Bunse, Sebastian Plotz
    Pages 96-107
  8. Idea: Automatic Localization of Malicious Behaviors in Android Malware with Hidden Markov Models

    • Aleieldin Salem, Tabea Schmidt, Alexander Pretschner
    Pages 108-115
  9. Idea: Benchmarking Android Data Leak Detection Tools

    • Claudio Corrodi, Timo Spring, Mohammad Ghafari, Oscar Nierstrasz
    Pages 116-123
  10. Idea: Visual Analytics for Web Security

    • Victor Le Pochat, Tom Van Goethem, Wouter Joosen
    Pages 124-132
  11. Back Matter

    Pages 133-133

Other Volumes

  1. Engineering Secure Software and Systems

About this book

This book constitutes the refereed proceedings of the 10th International Symposium on Engineering Secure Software and Systems, ESSoS 2018, held in Paris, France, in June 2018. The 10 papers, consisting of 7 regular and 3 idea papers, were carefully reviewed and selected from 26 submissions. They focus on the construction of secure software, which is becoming an increasingly challenging task due to the complexity of modern applications, the growing sophistication of security requirements, the multitude of available software technologies, and the progress of attack vectors.

Editors and Affiliations

  • Purdue University, West Lafayette, USA

    Mathias Payer

  • University of Bristol, Clifton, UK

    Awais Rashid

  • King’s College London, London, UK

    Jose M. Such

Bibliographic Information

  • Book Title: Engineering Secure Software and Systems

  • Book Subtitle: 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings

  • Editors: Mathias Payer, Awais Rashid, Jose M. Such

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-319-94496-8

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer International Publishing AG, part of Springer Nature 2018

  • Softcover ISBN: 978-3-319-94495-1Published: 20 June 2018

  • eBook ISBN: 978-3-319-94496-8Published: 19 June 2018

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: IX, 133

  • Number of Illustrations: 36 b/w illustrations

  • Topics: Security, Computing Milieux

Buy it now

Buying options

eBook USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.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