Verification and Validation of IoT - VESSEDIA H2020 Webinar

The VESSEDIA team invites you to the “Verification and Validation of IoT” webinar to be held on the 9th December 2019 from 2 to 4 p.m. CET.

This webinar is organised by the European Union H2020 project VESSEDIA (Verification Engineering of Safety and Security Critical Industrial Applications)
and aims to present the VESSEDIA project itself and its results in Verification, Validation, Certification and Security Evaluation of medium-criticality IoT.

Webinar Registration


We will send you the dial in details after your registration.


This email address is being protected from spambots. You need JavaScript enabled to view it.


Welcome Armand Puccetti (CEA)
Introduction to the VESSEDIA project - Research topics Armand Puccetti (CEA)
Formal Methods for software security Allan Blanchard (CEA)
Frama-C toolkit for safety and security assessment Virgile Prevosto (CEA) & Jens Gerlach (Fraunhofer FOKUS)
VeriFast toolkit Bart Jacobs (KU Leuven)
Fuzzing techniques for safety and security detection Gergely Eberhardt (Search-Lab)
The Cursor Method Dillon Pariente (Dassault Aviation)
ISO standard 23643 - objectives and V&V tools classification Pekka Forselius (Turku University of Applied Sciences)
VESSEDIA - The Security Certification Levels Assessment Scheme for IoT Balász Berkes t (Search-Lab)
Verified in Europe Emmanuel Querrec (Turku University of Applied Sciences)
Q&A All project partners
Closing Armand Puccetti (CEA)