Compositional Verification of Security Properties for Embedded Execution Platforms.

Christoph Baumann Oliver Schwarz Mads Dam

Published in: PROOFS (2017)

Keyphrases

security properties
cryptographic protocols
formal methods
formal model
security requirements
security analysis
security protocols
model checking
embedded systems
security vulnerabilities
cost effective
formal verification
elliptic curve
key agreement
expert systems