Login / Signup

$\mathcal{P}\text{ARseL}$: Towards a Verified Root-of-Trust Over seL4.

Ivan De Oliveira NunesSeoyeon HwangSashidhar JakkamsettiNorrathep RattanavipanonGene Tsudik
Published in: ICCAD (2023)
Keyphrases
  • information retrieval
  • text retrieval
  • natural language generation
  • keywords
  • trust model
  • trust evaluation
  • database
  • text mining
  • key concepts
  • web pages
  • semantic information
  • textual data
  • string matching