PROOFS: Security Proofs for Embedded Systems

24 ago. 2019
Sheraton Atlanta, 165 Courtland Street NE - Atlanta (Estados Unidos)

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.
Disciplina científica : 

Lugar de la conferencia
Personas conectadas: 108 |  Contacto |  Acerca de |  RSS