Login / Signup

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