VESSEDIA enhanced and scaled up modern formal methods based software analysis tools to enable their use on a wider range of applications than embedded safety-critical applications. At the forefront of connected applications is IoT, whose security risks are very real(for instance hacked smart home appliances). Hence, VESSEDIA took this domain as a target for demonstrating the benefits of using our tools to build safe and secure connected applications.

This project is organised under the supervision of the Commissariat à l'énergie atomique et aux énergies alternatives (CEA).

Link to website:


Organised by

SRE environmental policy

Carbon neutral

In 2022, the Security Research Event is committed to compensate its carbon footprint by investing in certified carbon-offset projects supporting local communities worldwide.