System-Level Design Group

KU Information and Telecommunication Technology Center

FM Submission

Brigid Halling and Perry Alexander submitted the paper “Verifying TPM Protocols Using a State Monad” to FM’14. The paper presents our techniques using monads to verify TPM attestation and migration protocols.