Bonjour, votre serveur vidéo a été mis à jour. Nous sommes en train de finaliser son optimisation. L'encodage de vos vidéos fonctionne (ne pas tenir compte du message d'erreur actuel à la fin de votre encodage).
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.
Infos
- Radu Mateescu
- 4 décembre 2020 12:36
- Colloque
- Anglais
Commentaire(s)