Proof-Carrying Hardware: Runtime Formal Verification for Secure Dynamic Reconfiguration.
Stephanie DrzevitzkyPublished in: FPL (2010)
Keyphrases
- formal verification
- dynamic reconfiguration
- model checking
- cryptographic protocols
- application specific
- real time
- software systems
- model checker
- low cost
- bounded model checking
- automated verification
- software architecture
- symbolic model checking
- method invocation
- program slicing
- embedded systems
- trusted computing
- hardware implementation
- theorem prover
- temporal logic
- quality of service
- computer systems
- computing platform
- runtime environment
- information systems