library.bib

@Article{Nunes2020OnTT,
 author = {I. O. Nunes and Sashidhar Jakkamsetti and Norrathep Rattanavipanon and G. Tsudik},
 booktitle = {Conference on Computer and Communications Security},
 journal = {Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security},
 title = {On the TOCTOU Problem in Remote Attestation},
 year = {2020}
}


@Inproceedings{Douceur2011MemoirFormalSA,
 author = {J. Douceur and Jacob R. Lorch and Bryan Parno and James W. Mickens and Jonathan M. McCune},
 title = {Memoir---Formal Specs and Correctness Proofs},
 year = {2011}
}

@inproceedings{parno2011memoir,
  title={Memoir: Practical state continuity for protected modules},
  author={Parno, Bryan and Lorch, Jacob R and Douceur, John R and Mickens, James and McCune, Jonathan M},
  booktitle={2011 IEEE Symposium on Security and Privacy},
  pages={379--394},
  year={2011},
  organization={IEEE}
}