PROOFS: Security Proofs for Embedded Systems

24 Aug 2019
Sheraton Atlanta, 165 Courtland Street NE - Atlanta (United States)

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.
Scientific domain : Computer Science - Cryptography and Security - Embedded Systems - Information Theory and Coding

Place of the conference
Online user: 154 |  Contact |  About |  RSS