Engineering Secure Software and Systems

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

  • Mathias Payer
  • Awais Rashid
  • Jose M. Such
Conference proceedings ESSoS 2018

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10953)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Otto Brechelmacher, Willibald Krenn, Thorsten Tarrach
    Pages 1-8
  3. Eyasu Getahun Chekole, Sudipta Chattopadhyay, Martín Ochoa, Guo Huaqun
    Pages 9-26
  4. Christopher Gerking, David Schubert, Eric Bodden
    Pages 27-43
  5. Jago Gyselinck, Jo Van Bulck, Frank Piessens, Raoul Strackx
    Pages 44-60
  6. Mohammadreza Hazhirpasand, Mohammad Ghafari
    Pages 61-76
  7. Christian Bunse, Sebastian Plotz
    Pages 96-107
  8. Aleieldin Salem, Tabea Schmidt, Alexander Pretschner
    Pages 108-115
  9. Claudio Corrodi, Timo Spring, Mohammad Ghafari, Oscar Nierstrasz
    Pages 116-123
  10. Victor Le Pochat, Tom Van Goethem, Wouter Joosen
    Pages 124-132
  11. Back Matter
    Pages 133-133

About these proceedings


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.


Computer Science Informatics Conference Proceedings Research Applications

Editors and affiliations

  • Mathias Payer
    • 1
  • Awais Rashid
    • 2
  • Jose M. Such
    • 3
  1. 1.Purdue UniversityWest LafayetteUSA
  2. 2.University of BristolCliftonUK
  3. 3.King’s College LondonLondonUK

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-94495-1
  • Online ISBN 978-3-319-94496-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site