Mark Dermot Ryan. Automatic Analysis of Security Properties of the TPM. In Chris J. Mitchell, Allan Tomlinson, editors, Trusted Systems, 4th International Conference, INTRUST 2012, London, UK, December 17-18, 2012. Proceedings. Volume 7711 of Lecture Notes in Computer Science, pages 1-4, Springer, 2012. [doi]
Abstract is missing.