This video presents some recent results of the CONVECS team on the formal modeling and analysis of asynchronous circuits for security. The work was done in the framework of the SecurIoT-2 project, led by Tiempo Secure SAS.
Mots clés : asynchronous circuit model checking security verification
Informations
- Radu Mateescu
- 4 décembre 2020 12:36
- Colloque
- Anglais
Commentaire(s)