Memoir
Memoir is a framework for building and using trusted modules with state continuity.
Publications
- Bryan Parno, Jacob R. Lorch, John R. Douceur, James Mickens, and Jonathan M. McCune, Memoir: Practical State Continuity for Protected Modules, in Proceedings of the IEEE Symposium on Security and Privacy, IEEE, May 2011
- John R. Douceur, Jacob R. Lorch, Bryan Parno, James Mickens, and Jonathan M. McCune, Memoir---Formal Specs and Correctness Proofs, no. MSR-TR-2011-19, February 2011

