Engineering Secure Software and Systems

4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings

  • Editors
  • Gilles Barthe
  • Benjamin Livshits
  • Riccardo Scandariato
Conference proceedings ESSoS 2012

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

Table of contents

  1. Front Matter
  2. Guillaume Barbu, Philippe Hoogvorst, Guillaume Duc
    Pages 1-13
  3. Kristian Beckers, Stephan Faßbender, Maritta Heisel, Jan-Christoph Küster, Holger Schmidt
    Pages 14-21
  4. Peter T. Breuer, Jonathan P. Bowen
    Pages 22-29
  5. Matteo Maria Casalino, Henrik Plate, Slim Trabelsi
    Pages 30-37
  6. Samson Gejibo, Federico Mancini, Khalid A. Mughal, Remi Valvik, Jørn Klungsøyr
    Pages 38-45
  7. Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
    Pages 60-74
  8. Francisco Moyano, Carmen Fernandez-Gago, Isaac Agudo, Javier Lopez
    Pages 75-88
  9. Viet Hung Nguyen, Fabio Massacci
    Pages 89-96
  10. Martín Ochoa, Jan Jürjens, Daniel Warzecha
    Pages 97-105
  11. Rahul Potharaju, Andrew Newell, Cristina Nita-Rotaru, Xiangyu Zhang
    Pages 106-120
  12. Mehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin
    Pages 121-134
  13. George Stergiopoulos, Bill Tsoumas, Dimitris Gritzalis
    Pages 135-142
  14. Huafei Zhu, Hong Xiao
    Pages 143-150
  15. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in February 2012. The 7 revised full papers presented together with 7 idea papers were carefully reviewed and selected from 53 submissions. The full papers present new research results in the field of engineering secure software and systems, whereas the idea papers give crisp expositions of interesting, novel ideas in the early stages of development.


error detection formal semantics mobile security real-time embedded systems trust computing

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-28165-5
  • Online ISBN 978-3-642-28166-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences