System-on-chip security: validation and verification
Auteur :
Farahmandi, Farimah / Huang, Yuanwen / Mishra, Prabhat
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030305987
Date de publication :
19 déc. 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
The authors discuss a wide variety of state-of-the-art security verification and validation approaches such as formal methods and side-channel analysis, as well as simulation-based security and trust validation approaches.