@techreport{cs2-13-1,
  title = {{Remote ATtestation procedureS (RATS) Architecture}},
  author = {Birkholz, Henk and Thaler, Dave and Richardson, Michael and Smith, Ned and Pan, Wei},
  year = {2023},
  url = {https://www.rfc-editor.org/rfc/rfc9334.txt},
  institution = {RFC 9334}
}

@techreport{cs2-13-2,
  title = {{The Entity Attestation Token (EAT)}},
  author = {Lundblade, Laurence and Mandyam, Giridhar and O'Donoghue, Jeremy and Wallace, Carl},
  year = {2025},
  url = {https://www.rfc-editor.org/rfc/rfc9711.txt},
  institution = {RFC 9711}
}

@techreport{cs2-13-3,
  title = {{Intel SGX Explained}},
  author = {Costan, Victor and Devadas, Srinivas},
  year = {2016},
  url = {https://eprint.iacr.org/2016/086},
  institution = {Author manuscript}
}

@techreport{cs2-13-4,
  title = {{Keystone: An Open Framework for Architecting TEEs}},
  author = {Lee, Dayeol and Kohlbrenner, David and Shinde, Shweta and Song, Dawn and Asanovic, Krste},
  year = {2019},
  url = {https://arxiv.org/abs/1907.10119},
  institution = {Author manuscript}
}

@misc{cs2-13-5,
  title = {{Intel SGX and TDX DCAP Quote Verification Service}},
  author = {{Intel}},
  year = {2026},
  url = {https://github.com/intel/SGX-TDX-DCAP-QuoteVerificationService},
  howpublished = {Intel documentation}
}

@techreport{cs2-13-6,
  title = {{SEV Secure Nested Paging Firmware ABI Specification}},
  author = {{Advanced Micro Devices}},
  year = {2025},
  url = {https://www.amd.com/content/dam/amd/en/documents/developer/56860.pdf},
  institution = {AMD specification}
}