D1.1 “Security requirements for connected medium security-critical applications“ [September 2017]
This deliverable reports the general methodology developed in T1.1., in which general guidelines for requirement analyses will be reviewed and particularized with respect to the project scope.

D1.3 “Modelling framework Description“ [June 2018]
This document describes the model-based language resulting from T1.2.

D2.1. “Basic analyzers intermediate release“[June 2018]
Initial version of front-ends and specification libraries, improved analyzers and prototypes of new analyzers.

D3.1 „Methodological report for modular reasoning for system validation and verification“ [June 2018]
This report will contain the methodology about modular reasoning for system validation and verification (task 3.1).

D4.1 “Metrics for VESSEDIA tools in quality assurance“ [June 2018]
In this deliverable, the definition of metrics defined in Task 4.1. are stated and described.

D4.2 “VESSEDIA approach for security evaluation“ [June 2018]
D4.2 includes the analysis on using VESSEDIA results in security evaluation methodologies (Task 4.2).

D5.1 “Inria's use case intermediate report“ [June 2018]
This deliverable is used as a report on applying the VESSEDIA solutions to the Contiki use case, first iteration.

D5.3 “CEA's use case intermediate report“ [June 2018]
This deliverable is used as a report on applying the VESSEDIA solutions to the 6LoWPAN manager use case, first iteration.

D5.3 “DA's use case intermediate report“ [June 2018]
This deliverable is used as a report on applying the VESSEDIA solutions to the Aircraft Maintenance use case, first iteration.

D1.5 “Analyses choice methodology report” [December 2018]
This report presents the findings of T1.4 “Flexible selection of static analyses” regarding a cost-efficient trade-off between basic and sophisticated analyses.

D1.6 "Economic Rationale and metrics report" [March 2019]
Economic rationale and metrics report of the effectiveness and efficiency of the use of VESSEDIA outcomes This deliverable consists of an academic publication on the topic of the economic rationale (effectiveness and efficiency) on the incentives for the advanced use of VESSEDIA outcomes based on use cases.

D1.7 “Vulnerability discovery methodology” [December 2018]
This report presents ways to detect the most common vulnerabilities using Frama-C.

D2.2 “Collaboration of analyses intermediate release V1” [December 2018]
Prototype for inter-analyzers collaboration (task 2.4) and verification artefact management (task 2.5).

D2.3 “Basic analyzers final release” [August 2019]
Final version of front-ends, and specification libraries (task 2.1), improved analyzers (task 2.2) and prototypes of new analyzers (task 2.3)

D2.4 “Collaboration of analyses intermediate release V2” [August 2019]
Final version of inter-analyzers collaboration (task 2.4) and verification artefact management (task 2.5).

D2.5 "Basic analyzers and collaboration of analyses final release" [December 2019]
Final version of D2.3 and D2.4.

D3.3 “Guidelines for combination of static and dynamic analyses” [December 2018]
This report is the output of task 3.2 and will contain guidelines for combination of static and dynamic analyses.

D3.2 "Preliminary version of the platforms" [August 2018]
This deliverable will contain the first prototypes of an environment of technologies to enable modular system verifications and of the “verification as a service” (tasks 3.1 and 3.3)

D3.5 "Enhanced version of tools" [December 2019]
This deliverable contains the evolved versions of an environment of technologies to enable modular system verifications, of the “verification as a service” and of the GUI.

D4.3 "Benchmark for evaluating VESSEDIA tools" [October 2018]
This report will present a benchmark for evaluating the quality of VESSEDIA tools regarding both simple and complex security vulnerabilities (Task 4.3).

D4.4 "VESSEDIA in Common Criteria evaluations" [October 2019]
Report on the potential contributions expected from VESSEDIA in the context of a CC process (Task 4.4)

D4.5 "Quality tests & limits of VESSEDIA tools regarding security vulnerabilities detection" [December 2019]
This report will assess the quality of VESSEDIA tools regarding both simple and advanced security vulnerabilities (Task 4.3).

D4.6 "Evaluation using the VESSEDIA use cases" [December 2019]
Report on evaluation activities performed in Task 4.2.

D5.2 "Inria’s use case final report" [December 2019]
Second iteration report on applying the VESSEDIA solutions to the Contiki use case.

D5.4 "CEA’s use case final report" [December 2019]
Second iteration report on applying the VESSEDIA solutions to the 6LoWPAN manager use case.

D5.6 "DA’s use case final report" [December 2019]
Second iteration report on applying the VESSEDIA solutions to the Aircraft Maintenance use case.

D5.7 "Minimal contract Hoare-style verification versus abstract interpretation" [December 2019]
Report on using verification-service based theorem proving compared to abstract interpretation.