Preface

Welcome to ESSS 2014, the 3rd International Workshop on Engineering Safety and Security Systems and welcome to Singapore! ESSS 2014 aims to continue the tradition to advance the understanding and expertise in the following areas:

• Methods, techniques and tools for system safety and security
• Methods, techniques and tools for analysis, certification, and debugging of complex safety and security systems
• Model-based and verification-based testing
• Emerging application domains such as cloud computing and cyber-physical systems
• Case studies and experience reports on the use of formal methods for analyzing safety and security systems

This year, the workshop has a strong technical program. We have Vrizlynn Thing as the keynote speaker and Nguyen Quang-Huy as the invited speaker from the industry. The Program Committee has received 10 submissions from 6 countries and each paper was reviewed by at least 3 referees and mostly by 4 referees. We chose 6 full papers as the result of intensive discussions held among the PC members.

This year, ESSS is held in Singapore, as a satellite event of FM 2014. We would like to thank National University of Singapore, Nanyang Technological University, Singapore University of Technology & Design and IPAL lab as co-organisations. Special thanks go to many individuals who have contributed to the success of this conference. We thank the authors for sharing their ideas with us, the reviewers for providing valuable feedback, and all the PC members for taking time from their busy schedules to support this workshop.

Abstracts of the Invited Talks

• Speaker: Vrizlynn Thing (Agency for Science, Technology and Research, Singapore)
  Title: Countering Anti-forensics
  Abstract: Anti-forensics measures are attempts to eliminate evidence or reduce the quantity and quality of the evidence, to cause ineffectiveness and efficiency of forensic analysis, techniques and tools. Scott Berinato shared in his article, "The Rise of Anti-Forensics", that anti-forensics is more than technology and encompasses approaches to criminal hacking that make it hard for attribution. In this talk, we share anti-forensic methods and approach of key concern, and how they negatively affect the forensic analysis process. We will then discuss on scientific approaches and technologies that can act as counter-measures against anti-forensics.
• Speaker: Nguyen Quang-Huy (Trusted Labs, France)
  Title: Formal Verification for Certifying Critical Hardware Components in EAL7 Level
  Abstract: Security IC provides the hardware platform of the tamper-resistant embedded devices used for securing the Internet of Things. These devices are built to operate in a hostile environment with limited computing resources. For efficiency reason, their security functions should be fairly shared between the hardware platform and the embedded software. Being created to increase the trust and confidence in the IT products, the Common Criteria (ISO/IEC 15408) defines the security requirements on the whole product life-cycle (from specification to deployment). In particular, the high-level certifications (i.e., EAL6/7) require a formal proof of the correctness and also strong evidence of the robustness (of the implemented security functions). In this talk, we describe a formal verification approach that has been used in the certification of a security IC component.

Program Committee

• Étienne André, University Paris 13, France
• Taolue Chen, Middelsex University, UK
• Marieke Huisman, University of Twente, The Netherlands
• Weiqiang Kong, Kyushu University, Japan
• Keqin Li, SAP Research, France
• Yang Liu (PC co-chair), Nanyang Technological University, Singapore
• Zhiming Liu, Birmingham City University, UK
• Sjouke Mauw (general chair), University of Luxembourg, Luxembourg
• Jun Pang (PC co-chair), University of Luxembourg, Luxembourg
• Geguang Pu, East China Normal University, China
• Mohammad Torabi Dashti, ETH Zurich, Switzerland
• Anton Wijs, Eindhoven University of Technology, The Netherlands
• Yoriyuki Yamagata, Japan Advanced Institute of Science and Technology, Japan

External Reviewers

• Stefan Blom, University of Twente, The Netherlands
• Christine Choppy, University Paris 13, France
• Luc Engelen, Eindhoven University of Technology, The Netherlands
• Hugo Jonker, University of Luxembourg, Luxembourg
• Wojciech Mostowski, University of Twente, The Netherlands