Unique Program Execution Checking: A Novel Approach for Formal Security Analysis of Hardware
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kaiserslautern, Technische Universität Kaiserslautern, Dissertation, 2022
- Schlagwort
-
Eingebettetes System
Formale Methode
Hardwareentwurf
Verifikation
Kryptoanalyse
Rechnernetz
Kryptosystem
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern
- (wann)
-
2022
- Urheber
- Beteiligte Personen und Organisationen
-
Kunz, Wolfgang
- DOI
-
10.26204/KLUEDO/6930
- URN
-
urn:nbn:de:hbz:386-kluedo-69305
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:33 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Rahmani Fadiheh, Mohammad
- Kunz, Wolfgang
- Technische Universität Kaiserslautern
Entstanden
- 2022
Ähnliche Objekte (12)
Model checking memory-related properties of hardware/software codesigns
Hardware-Design : formaler Entwurf digitaler Schaltungen
Practical formal methods for hardware design
Hardware-Design : formaler Entwurf digitaler Schaltungen
Hardware-Design : formaler Entwurf digitaler Schaltungen
Hardware-Design : formaler Entwurf digitaler Schaltungen
Multithreaded programming and execution models for reconfigurable hardware
Hardware/Software Co-Design for Efficient Microkernel Execution
Quality and quantity in robustness checking using formal techniques
Quality and Quantity in Robustness-Checking Using Formal Techniques
Formal Verification of Algorithms for Automata and Model Checking
Formal methods for hardware verification : advanced lectures
Model checking memory-related properties of hardware/software codesigns
Hardware-Design : formaler Entwurf digitaler Schaltungen
Practical formal methods for hardware design
Hardware-Design : formaler Entwurf digitaler Schaltungen
Hardware-Design : formaler Entwurf digitaler Schaltungen
Hardware-Design : formaler Entwurf digitaler Schaltungen
Multithreaded programming and execution models for reconfigurable hardware
Hardware/Software Co-Design for Efficient Microkernel Execution
Quality and quantity in robustness checking using formal techniques
Quality and Quantity in Robustness-Checking Using Formal Techniques
Formal Verification of Algorithms for Automata and Model Checking
Formal methods for hardware verification : advanced lectures
Model checking memory-related properties of hardware/software codesigns
Hardware-Design : formaler Entwurf digitaler Schaltungen
Practical formal methods for hardware design
Hardware-Design : formaler Entwurf digitaler Schaltungen
Hardware-Design : formaler Entwurf digitaler Schaltungen
Hardware-Design : formaler Entwurf digitaler Schaltungen
Multithreaded programming and execution models for reconfigurable hardware
Hardware/Software Co-Design for Efficient Microkernel Execution
Quality and quantity in robustness checking using formal techniques
Quality and Quantity in Robustness-Checking Using Formal Techniques
Formal Verification of Algorithms for Automata and Model Checking