Login / Signup

Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme.

Stephan WesemeyerChristopher J. P. NewtonHelen TreharneLiqun ChenRalf SasseJorden Whitefield
Published in: AsiaCCS (2020)
Keyphrases
  • formal analysis
  • agent model
  • formal methods
  • computing platform
  • databases
  • intrusion detection
  • cost effective
  • vlsi implementation