Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults.
Simon TollecVedad HadzicPascal NasahlMihail AsavoaeRoderick BloemDamien CourousséKarine HeydemannMathieu JanStefan MangardPublished in: IACR Cryptol. ePrint Arch. (2024)
Keyphrases
- fault detection
- fault diagnosis
- fault model
- multiple faults
- cryptographic protocols
- integrity verification
- fault detection and isolation
- fault detection and diagnosis
- model checking
- fault isolation
- industrial processes
- parallel processing
- expert systems
- neural network
- high security
- fault models
- signature verification
- repair actions
- formal verification
- face verification
- key management
- normal operation
- security requirements
- wireless sensor networks
- fuzzy logic
- lightweight
- model based diagnosis
- verification method
- sensitive data
- security level
- security analysis