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.