SpecCert: Specifying and Verifying Hardware-Based Security Enforcement.

Thomas Letan Pierre Chifflier Guillaume Hiet Pierre Néron Benjamin Morin

Published in: FM (2016)

Keyphrases

security enforcement
access control
smart card
hardware and software
low cost
real time
computer systems
model checking
embedded systems
image processing
hardware architecture
data mining
anomaly detection
massively parallel