A Formal Analysis of Authentication in the TPM

S Delaune, S Kremer, Mark Ryan, G Steel, P Degano, S Etalle, J Guttman

Research output: Contribution to conference (unpublished)Paper

32 Citations (Scopus)
Filter
Finished

Search results