• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

An seL4-based architecture for layered attestation.

Grant JurgensenMichael NeisesPerry Alexander
Published in: HotSoS (2020)
Keyphrases
  • real time
  • computing platform
  • data sets
  • software architecture
  • learning algorithm
  • expert systems
  • management system
  • data flow