Transys: Leveraging Common Security Properties Across Hardware Designs.

Rui Zhang Cynthia Sturton

Published in: IEEE Symposium on Security and Privacy (2020)

Keyphrases

security properties
hardware designs
formal model
security requirements
security analysis
security protocols
cryptographic protocols
model based diagnosis
formal methods
low cost
elliptic curve
signal processing
standard model