Advertisement

© 2014

Engineering Secure Software and Systems

6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings

  • Jan Jürjens
  • Frank Piessens
  • Nataliia Bielova
Conference proceedings ESSoS 2014

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

Table of contents

  1. Front Matter
    Pages I-XVIII
    PDF

  2. Model-Based Security

    1. Detecting Code Reuse Attacks with a Model of Conformant Program Execution
      Emily R. Jacobson, Andrew R. Bernat, William R. Williams, Barton P. Miller
      Pages 1-18
    2. Security@Runtime: A Flexible MDE Approach to Enforce Fine-grained Security Policies
      Yehia Elrakaiby, Moussa Amrani, Yves Le Traon
      Pages 19-34
    3. Idea: Towards a Vision of Engineering Controlled Interaction Execution for Information Services
      Joachim Biskup, Cornelia Tadros
      Pages 35-44

  3. Formal Methods

    1. Automated Formal Verification of Application-specific Security Properties
      Piergiuseppe Bettassa Copet, Riccardo Sisto
      Pages 45-59
    2. Fault-Tolerant Non-interference
      Filippo Del Tedesco, Alejandro Russo, David Sands
      Pages 60-76
    3. Quantitative Security Analysis for Programs with Low Input and Noisy Output
      Tri Minh Ngo, Marieke Huisman
      Pages 77-94
    4. A Modeling and Formal Approach for the Precise Specification of Security Patterns
      Brahim Hamid, Christian Percebois
      Pages 95-112
    5. On the Relation between Redactable and Sanitizable Signature Schemes
      Hermann de Meer, Henrich C. Pöhls, Joachim Posegga, Kai Samelin
      Pages 113-130
    6. Idea: Towards a Working Fully Homomorphic Crypto-processor
      Peter T. Breuer, Jonathan P. Bowen
      Pages 131-140

  4. Web and Mobile Security

    1. Architectures for Inlining Security Monitors in Web Applications
      Jonas Magazinius, Daniel Hedin, Andrei Sabelfeld
      Pages 141-160
    2. Automatic and Robust Client-Side Protection for Cookie-Based Sessions
      Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan
      Pages 161-178
    3. Security Testing of GSM Implementations
      Fabian van den Broek, Brinio Hond, Arturo Cedillo Torres
      Pages 179-195

  5. Applications

    1. User-Centric Security Assessment of Software Configurations: A Case Study
      Hamza Ghani, Jesus Luna Garcia, Ivaylo Petkov, Neeraj Suri
      Pages 196-212
    2. Idea: Security Engineering Principles for Day Two Car2X Applications
      Sibylle Fröschle, Alexander Stühring
      Pages 213-221
    3. Idea: Embedded Fault Injection Simulator on Smartcard
      Maël Berthier, Julien Bringer, Hervé Chabanne, Thanh-Ha Le, Lionel Rivière, Victor Servant
      Pages 222-229
  6. Back Matter
    PDF

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014, held in Munich, Germany, in February 2014.
The 11 full papers presented together with 4 idea papers were carefully reviewed and selected from 55 submissions. The symposium features the following topics: model-based security, formal methods, web and mobile security and applications.

Keywords

economics of security embedded secure software embedded secure software model-driven engineering security policies smartcards

Editors and affiliations

  • Jan Jürjens
    • 1
  • Frank Piessens
    • 2
  • Nataliia Bielova
    • 3
  1. 1.Department of Computer ScienceTechnical University DortmundDortmundGermany
  2. 2.Department of Computer ScienceKU LeuvenHeverleeBelgium
  3. 3.Inria Sophia Antipolis – MediterraneeSophia Antipolis CedexFrance

Bibliographic information