2018

ZINC - We are not another conference!
30th May - 31st of June 2018, Novi Sad, Serbia
Partner INRIA will participate and will present 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 will participate 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 will participate 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 will participate at the 2nd Workshop on Recent advances in secure management of data and resources in the IoT (RED-IOT).

2017

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.