System-on-Chip Security
| Autor: | Farahmandi, Farimah Huang, Yuanwen Mishra, Prabhat |
|---|---|
| EAN: | 9783030305987 |
| Auflage: | 001 |
| Sachgruppe: | Technik |
| Sprache: | Englisch |
| Seitenzahl: | 312 |
| Produktart: | Kartoniert / Broschiert |
| Veröffentlichungsdatum: | 19.12.2020 |
| Untertitel: | Validation and Verification |
85,59 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Outlines a wide variety of hardware security threats and vulnerabilities as well as their sources in each of the stages of a design life cycleSummarizes unsafe current design practices that lead to security and trust vulnerabilitiesCovers state-of-the-art techniques as well as ongoing research efforts in developing scalable security validation using formal methods including symbolic algebra, model checkers, SAT solvers, and theorem proversExplains how to leverage security validation approaches to prevent side-channel attacksPresents automated debugging and patching techniques in the presence of security vulnerabilitiesIncludes case studies for security validation of arithmetic circuits, controller designs, as well as processor-based SoCs
Verwandte Artikel
Weitere Produkte vom selben Autor