Secure Dynamic Software Loading and Execution Using Cross Component Verification.

Byungho Min Vijay Varadharajan

Published in: DSN (2015)

Keyphrases

software components
software systems
data flow
source code
software development
computer systems
control flow
software maintenance
development process
model checking
software design
formal verification
integrity verification
software tools
formal methods
dynamic environments
symbolic execution
hardware designs