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)

Original language	English
Pages	66-80
Number of pages	15
DOIs	https://doi.org/10.1109/CSF.2011.12
Publication status	Published - 29 Jun 2011
Event	Proceedings of the 2011 IEEE 24th Computer Security Foundations Symposium (CSF 2011) - Duration: 29 Jun 2011 → …

Conference	Proceedings of the 2011 IEEE 24th Computer Security Foundations Symposium (CSF 2011)
Period	29/06/11 → …

Access to Document

@conference{eaec642fb30b4a11af6b34c6553ed91b,

title = "Formal Analysis of Protocols Based on TPM State Registers",

author = "S Delaune and S Kremer and Mark Ryan and G Steel",

year = "2011",

month = jun,

day = "29",

doi = "10.1109/CSF.2011.12",

language = "English",

pages = "66--80",

note = "Proceedings of the 2011 IEEE 24th Computer Security Foundations Symposium (CSF 2011) ; Conference date: 29-06-2011",

}