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

Root-of-Trust Abstractions for Symbolic Analysis: Application to Attestation Protocols.

Georgios FotiadisJosé MoreiraThanassis GiannetsosLiqun ChenPeter B. RønneMark RyanPeter Y. A. Ryan
Published in: STM (2021)
Keyphrases
  • high level
  • data mining
  • data analysis
  • image analysis
  • privacy preserving