9th May 2019 Dublin, Ireland



DATE: 9th MAY 2019 - 09:00-17:00


As IOT is becoming more and more pervasive in everyday life, aspects connected with security, safety and privacy are elements that will become key in order to have a secure and wider diffusion of solutions based in this type of technology. Researchers, industries and final users are more and more interested in the integration of IOT solutions in innovative services but in order to be able to deliver them it is important that trust in users is built and compliance to data safety and privacy, is in place.
This workshop will be co-organized by CHARIOT and VESSEDIA H2020 projects and take place on the 9th May 2019, in Dublin Ireland, hosted by IBM. During the workshop the evolution of both projects will be presented, including the experience from the users and the first lessons learned on the different tasks. The actions of cooperation with the other IOT project under the H2020 program as well as the dissemination and standardization activities will be analyzed. A specific focus will be in the Living Lab driven from IBM Ireland The “Cognitive Heterogeneous Architecture for Industrial IoT” (CHARIOT) three-year project, started its activities on the 1st of January 2018 with the objective to provide the overall design method and cognitive computing platform towards privacy, security and safety (PSS) over IoT Systems including elements of innovations like:

  • A Privacy and security protection method building on state of the art Public Key Infrastructure (PKI) technologies to enable the coupling of a pre-programmed private key deployed to IoT devices with a corresponding private key on Blockchain system.
  • A Blockchain ledger in which categories of IoT physical, operational and functional changes are both recorded and affirmed/approved by a combination of a cognitive engine and private key hashing between the cognitive engine and IoT devices to authorize change and, likewise, invalidating any and all other changes be they malicious or otherwise.
  • A fog-based decentralized infrastructure for Firmware Security integrity checking that leverages a Blockchain ledger to enhance physical, operational and functional security of IoT systems, including actuation and deactivation.
  • An accompanying IoT Safety Supervision Engine providing a novel solution to the challenges of securing IoT data, devices and functionality in new and existing industry-specific safety critical systems.
  • A Cognitive System and Method with accompanying supervision, analytics and prediction models enabling high security and integrity of Industrials IoT.
  • New methods and tools for static code analysis of IoT devices, resulting in more efficient secure and safer IoT software development and V&V.

The “Verification Engineering of Safety and SEcurity critical Dynamic Industrial Applications” (VESSEDIA) three-year project, started on the 1st of January 2017 with the objective to design and implement Safety and Security analysis technologies for IoT software, capable of improving dramatically the trustworthiness of such connected applications. For this aim, VESSEDIA enhances and scales up modern software analysis tools, in particular the open-source Frama-C analysis platform, to make them useful and accessible to a wider audience of developers of connected applications. VESSEDIA will tackle this challenge by

  • Developing a methodology that makes it possible to adopt and use source code analysis tools as efficiently and with similar benefits as it is already possible in the case of highly-critical applications, 
  • Enhancing the Frama-C toolbox to enable efficient and fast implementation, 
  • Demonstrating the capabilities of the new toolbox on typical IoT applications, including an IoT Operating System (Contiki), 
  • Developing an ISO standard for classifying V&V tools and generalising the use of the toolbox, 
  • Contributing to the Common Criteria certification process, and 
  • Defining a “Verified in Europe” label for validating software products with European technologies.

Note:The workshop programme will be available shortly

Espoo (Finland) ISO/IEC JTC 1/SC 7
 19th-24th of May 2019, Aalto University in Otaniemi, Espoo, Finland
Partner TUAS will partcipate in the ISO standardisation workshop.

34th ACM SIGAPP Symposium on Applied Computing (SAC 2019)
08th - 12th of April 2019, Limassol, Cyprus
Partner INRIA and partner CEA will give a tutorial on the use of Frama-C for verification of IoT software and present an accepted paper.
Paper: https://www.sigapp.org/sac/sac2019/index.html

46th ACM SIGPLAN Symposium on Principles of Programming Languages
13th - 19th of January 2019
Partner KU Leuven participated.

Software Quality Days 2019
15th - 18th of January 2019, Vienna, Austria
Partner TUAS particpated in the Software Quality Days 2019 in Vienna. The focus of the event was on the complexity and challenges of Software Engineering and Software Quality.


Halfway Through the Digital Single Market Strategy: “Bedrock of Trust” or illusion? Conference
13th - 14th of December 2018, Lille, France
Partner TUAS participated in this conference which was related to TRUESSEC project.

TRUESSEC Final Symposium
12th of December 2018, Lille, France
Partner TUAS participated in the TRUESSEC Final Symposium. TRUESSEC is a Horizon 2020 project with focus on trustworthiness, security and privacy, a complementary scope to VESSEDIA

ISO SC7 / Workgroup 4 / Interim Meeting
5th - 9th of November 2018, Seoul, South Korea
TUAS presented the latest version of the ISO standard draft.

IEEE International Symposium of Software Reliability Engineering (ISSRE)
15th - 18th of October 2018, Memphis, TN, USA
Partner INRIA participated and presented a tutorial called "Towards Reliable Things: Formal Verification of IoT Software with Frama-C".

Workshop of the CHARIOT project (780075)
12th of October 2018, Rome, Italy
The VESSEDIA project was invite to give two presentations at the 1st CHARIOT H2020 project workshop. Partner CEA presented the Technical Overview of the VESSEDIA project and its Research Challenges. Partner TUAS gave a presentation on “Standardization of IoT software safety and security verification tools”.

IEEE Cybersecurity Development Conference (SecDev)
30th - 2nd of October 2018, Cambridge, MA, USA
Partner CEA participated and presented a tutorial called "Secure Your Things: Secure Development of IoT Software with Frama-C".

Presentation of the research projects lead by AMOSSYS' ITSEF lab to the ANSSI
September 2018, Rennes, France
For its ITSEF activities, AMOSSYS presented to the ANSSI the VESSEDIA project and how the results may be used to enhance security of evaluation done in its ITSEF lab.

InnoTrans 2018
18th - 21st of September 2018, Berlin, Germany
Partner FOKUS presented its portfolio for quality assurance for safety and security of railway IT systems.

The 2018 International Conference on High Performance Computing & Simulation (HPCS 2018)
16th - 20th of July 2018, Orléans, France
Partner Inria participated and presented a tutorial called "A Lesson on Verification of IoT Software with Frama-C"

IFIP WG 1.9/2.15 (Software Verification) meeting
13th - 14th of July 2018, Oxford, UK
Partner KU Leuven participated in the meeting of academic and industrial computer scientists working in the area of software verification.

Sound Static Analysis for Security Workshop
27th - 28th of June 2018, Gaithersburg, MD, USA
Partner CEA organised together with Adacore and NIST the 2 days’ workshop.

12th International Conference on Tests & Proofs (TAP 2018)
17th - 29th of June 2018, Toulouse, France
Partner INRIA presented the article submitted to the 12th International Conference on Tests & Proofs Ghosts for Lists: from Axiomatic to Executable Specifications (Short Paper)

AFADL 2018 - Approches Formelles dans l'Assistance au Développement de Logiciels
13th - 15th of June 2018, Grenoble, France
Partner INRIA presented the article submitted to the Tenth NASA Formal Methods Symposium.

ZINC - We are not another conference!
30th May - 31st of June 2018, Novi Sad, Serbia
Partner INRIA participated and presented a tutorial called "Towards Secure Things, or How to Verify IoT Software with Frama-C.

ICSE 2018: 40th International Conference on Software Engineering
27th May - 3rd of June 2018, Gothenburg, Sweden
Partner CEA participated at the event.

RESSI 2018: Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information
23rd - 25th of May 2018, La Bresse, France
Partner CEA participated and presented the VESSEDIA project.

DigiHALL Days 2018 
22nd May 2018, Paris, France
Partner CEA presented VESSEDIA and the 6LowPAN application as well as its security analysis using Diversity and Frama-C at the DigiHALL Days 2018.

First Cyberwatching.eu Concertation meeting
26th April 2018, Brussels, Belgium
Partner CEA participated at the event.

10th NASA Formal Methods Symposium (NFM 2018)
17th - 19th of April 2018, Virginia, USA
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.
VESSEDIA partner INRIA participated in the 10th NASA Formal Methods Symposium with the article “Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C”

International Conference on Embedded Wireless Systems and Networks
14th - 16th of February 2018, Madrid, Spain
Partner INRIA participated at the 2nd Workshop on Recent advances in secure management of data and resources in the IoT (RED-IOT).


SSTIC 2017 - Symposium sur la sécurité des technologies de l'information et des communications
7th - 9th of June 2017, Rennes, France
Partner DA presented a paper “Static Analysis and Runtime-Assertion Checking: Contribution to Security Counter-Measures”

Frama-C & SPARK Day - Formal Analysis and Proof for Programs in C and Ada
30th of May 2017, Paris, France
VESSEDIA partners participated at the event.