Engineering Secure Software and Systems

9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

  • Eric Bodden
  • Mathias Payer
  • Elias Athanasopoulos
Conference proceedings ESSoS 2017

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

Also part of the Security and Cryptology book sub series (LNSC, volume 10379)

Table of contents

  1. Front Matter
    Pages I-X
  2. Emad Heydari Beni, Bert Lagaisse, Ren Zhang, Danny De Cock, Filipe Beato, Wouter Joosen
    Pages 19-35
  3. Robert Lagerström, Carliss Baldwin, Alan MacCormack, Dan Sturtevant, Lee Doolan
    Pages 53-69
  4. Nuthan Munaiah, Benjamin S. Meyers, Cecilia O. Alm, Andrew Meneely, Pradeep K. Murukannaiah, Emily Prud’hommeaux et al.
    Pages 70-86
  5. Gebrehiwet Biyane Welearegai, Christian Hammer
    Pages 87-96
  6. Dolière Francis Somé, Nataliia Bielova, Tamara Rezk
    Pages 115-132
  7. Micah Morton, Hyungjoon Koo, Forrest Li, Kevin Z. Snow, Michalis Polychronakis, Fabian Monrose
    Pages 143-160
  8. Daniel Gruss, Moritz Lipp, Michael Schwarz, Richard Fellner, Clémentine Maurice, Stefan Mangard
    Pages 161-176
  9. Lucian Cojocar, Taddeus Kroes, Herbert Bos
    Pages 177-195
  10. Heiko Mantel, Alexandra Weber, Boris Köpf
    Pages 213-230
  11. Giampaolo Bella, Rosario Giustolisi
    Pages 231-239
  12. Back Matter
    Pages 241-241

About these proceedings


This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn,  Germany in July 2017. The 12 full papers presented together with 3 short papers were carefully reviewed and selected from 32 submissions. 

The goal of this symposium is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering.


Data security Semantics Software engineering Computer architecture Cloud security Mobile devices security virtualization for security Malware Embedded software security Computer forensics Security in critical infrastructures

Editors and affiliations

  • Eric Bodden
    • 1
  • Mathias Payer
    • 2
  • Elias Athanasopoulos
    • 3
  1. 1.University of PaderbornPaderbornGermany
  2. 2.Purdue UniversityWest LafayetteUSA
  3. 3.University of CyprusNicosiaCyprus

Bibliographic information

Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences