Publications

• Halling, B., and P. Alexander, Verifying a Privacy CA Remote Attestation Protocol, NASA Formal Methods Conference (NFM'13), LNCS 7871, Mountain View, CA, May 2013.
• Halling, B. and P. Alexander, Verifying TPM Protocols Using a State Monad, submitted to The 19th International Symposium on Formal Methods (FM'14), Singapore, May 14-16, 2014