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: https://vessedia.eu