Why Should I Trust Your Code?: Confidential computing enables users to authenticate code running in TEEs, but users also need evidence this code is trustworthy

Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich. Why Should I Trust Your Code?: Confidential computing enables users to authenticate code running in TEEs, but users also need evidence this code is trustworthy. ACM Queue, 21(4):94-122, 2023. [doi]

@article{DelignatLavaudFVCRCR23,
  title = {Why Should I Trust Your Code?: Confidential computing enables users to authenticate code running in TEEs, but users also need evidence this code is trustworthy},
  author = {Antoine Delignat-Lavaud and Cédric Fournet and Kapil Vaswani and Sylvan Clebsch and Maik Riechert and Manuel Costa and Mark Russinovich},
  year = {2023},
  doi = {10.1145/3623460},
  url = {https://doi.org/10.1145/3623460},
  researchr = {https://researchr.org/publication/DelignatLavaudFVCRCR23},
  cites = {0},
  citedby = {0},
  journal = {ACM Queue},
  volume = {21},
  number = {4},
  pages = {94-122},
}