Eintrag in der Universitätsbibliographie der TU Chemnitz
Al Faisal, Muhammad Abdullah* ; Nagar, Jaimini ; Dworzak, Thorsten ; Simon, Sebastian ; Heinkel, Ulrich ; Lettnin, Djones
Securing Silicon: A Scalable, Platform-independent Hardware Security Verification Methodology
| Universität: | Technische Universität Chemnitz | |
| Institut: | Professur Schaltkreis- und Systementwurf | |
| Dokumentart: | Konferenzbeitrag, referiert | |
| ISBN/ISSN: | 978-3-8007-6438-9 ; E-Book: ISBN 978-3-8007-6439-6 | |
| DOI: | doi:10.30420/566438010 | |
| Quelle: | DVCon Europe 2024; Design and Verification Conference and Exhibition Europe; 15-16 October 2024; Munich, 2024 | |
| Freie Schlagwörter (Englisch): | Scalable , Hardware Security , Security Verification , Fuzzy Set , Microarchitecture , Security Risks , Potential Weakness , Security Requirements , Weak Design , Use Case Scenarios , Portable Test , Access Control , Test Scenarios , Test Bench , Checkers , Verification Process , Security Vulnerabilities , Registration Status , Simulation Platform , Functional Verification , Threat Model , Key Size , Encryption And Decryption , Formal Verification , Security Weaknesses , Linearizable , Code Snippets , Domain-specific Languages , Integrity Violations , Model Checking |
