Verification of Authenticated Firmware Loaders.
Sujit Kumar MuduliPramod SubramanyanSayak RayPublished in: FMCAD (2019)
Keyphrases
- operating system
- model checking
- power consumption
- computer systems
- data sets
- machine learning
- real time
- face verification
- formal analysis
- formal verification
- verification method
- key exchange protocol
- artificial intelligence
- neural network
- input output
- databases
- temporal logic
- error detection
- key exchange
- ibm zenterprise