The VESSEDIA project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No. 731453.
Conferences & Workshops
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).
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.