PROOFS: Security Proofs for Embedded Systems

24 août 2019
Sheraton Atlanta, 165 Courtland Street NE - Atlanta (États-Unis)

The goal of the PROOFS workshop is to promote methodologies that increase the confidence in the security of embedded systems, especially those which contain cryptographic algorithms. Formal methods allow to increase the trust level of digital systems.
Discipline scientifique : Informatique - Cryptographie et sécurité - Systèmes embarqués - Théorie de l'information et codage

Lieu de la conférence
Personnes connectées : 135 |  Contact |  À propos |  RSS