An seL4-based architecture for layered attestation.

Grant Jurgensen Michael Neises Perry Alexander

Published in: HotSoS (2020)

Keyphrases

real time
computing platform
data sets
software architecture
learning algorithm
expert systems
management system
data flow