Advertisement

Engineering Secure Software and Systems

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

  • Eric Bodden
  • Mathias Payer
  • Elias Athanasopoulos

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

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-319-62105-0
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-62104-3
  • Online ISBN 978-3-319-62105-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering