Login / Signup
Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware.
Bo-Yuan Huang
Sayak Ray
Aarti Gupta
Jason M. Fung
Sharad Malik
Published in:
DAC (2018)
Keyphrases
</>
hardware designs
application level
formal methods
high security
low cost
security level
intrusion detection
computer systems
operating system
access control
ibm zenterprise
information security
instruction set
hardware and software
java card
real time
multimedia
security requirements
cryptographic protocols
formal analysis
computing power
power consumption
model checking
security mechanisms
security analysis
security issues
formal specification
security policies
formal model
decision theoretic planning
random number generator
input output
integrity verification