Temps actuel 0:00
Durée 0:00
Chargé: 0%
Type de flux EN DIRECT
Temps restant 0:00
 
1x
  • Chapitres
  • descriptions désactivées, sélectionné
  • Sous-titres désactivés, sélectionné
    • Quality

    Formal Analysis of Circuits for Security

    15 octobre 2020
    00:26:47
    Nombre de vues 8
    Nombre d’ajouts dans une liste de lecture 0
    Nombre de favoris 0

    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

    Commentaire(s)

    Supprimer définitivement votre commentaire ?