Formal Analysis of Protocols Based on TPM State Registers

S Delaune, S Kremer, Mark Ryan, G Steel

Research output: Contribution to conference (unpublished)Paper

41 Citations (Scopus)

Search results