Skip to main content
SpringerLink
Log in

Engineering Secure Software and Systems

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

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Mathias Payer

    1. Purdue University, West Lafayette, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Awais Rashid

    1. University of Bristol, Clifton, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jose M. Such

    1. King’s College London, London, UK

    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 10953)

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

Included in the following conference series:

Conference proceedings info: ESSoS 2018.

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 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

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  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. PrivacyMeter: Designing and Developing a Privacy-Preserving Browser Extension

    • Oleksii Starov, Nick Nikiforakis
    Pages 77-95

  8. Security Analysis of Drone Communication Protocols

    • Christian Bunse, Sebastian Plotz
    Pages 96-107

  9. Idea: Automatic Localization of Malicious Behaviors in Android Malware with Hidden Markov Models

    • Aleieldin Salem, Tabea Schmidt, Alexander Pretschner
    Pages 108-115

  10. Idea: Benchmarking Android Data Leak Detection Tools

    • Claudio Corrodi, Timo Spring, Mohammad Ghafari, Oscar Nierstrasz
    Pages 116-123

  11. Idea: Visual Analytics for Web Security

    • Victor Le Pochat, Tom Van Goethem, Wouter Joosen
    Pages 124-132

  12. Back Matter

    Pages 133-133
    Download chapter PDF
Back to top

Other volumes

  1. Engineering Secure Software and Systems

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation