Formal Analysis of Protocols Based on TPM State Registers

S Delaune, S Kremer, Mark Ryan, G Steel

Computer Science

Research output: Contribution to conference (unpublished) › Paper

41 Citations (Scopus)

1 results

Filter

Finished
Leadership Fellowships 2009 : Analysing Security and Privacy Properties
Ryan, M.
Engineering & Physical Science Research Council
1/04/10 → 30/09/15
Project: Research Councils