Formal Analysis of Circuits for Security

Prendre des notes

Il n’y a pas de note disponible pour vous pour cette vidéo.

Connectez-vous pour en créer une nouvelle.

Disciplines

Types

Mots clés

Bonjour, l'encodage des vidéos est opérationnel. Merci de ne pas tenir compte du message d'erreur qui s'affiche actuellement à la fin de l'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

Ajouté par : Radu Mateescu
Ajouté le : 4 décembre 2020 12:36
Type : Colloque
Langue principale : Anglais
Discipline(s) :
- Informatique, Mathématiques, Sciences et technologies de l'information et de la communication

Réseaux sociaux

Formal Analysis of Circuits for Security

Infos

Commentaire(s)