CVTEE: A Compatible Verified TEE Architecture With Enhanced Security

Xinliang Miao, Rui Chang, Jianhong Zhao, Yongwang Zhao, Shuang Cao, Tao Wei, Liehui Jiang, Kui Ren 0001. CVTEE: A Compatible Verified TEE Architecture With Enhanced Security. IEEE Trans. Dependable Sec. Comput., 20(1):377-391, 2023. [doi]

@article{MiaoCZZCWJR23,
  title = {CVTEE: A Compatible Verified TEE Architecture With Enhanced Security},
  author = {Xinliang Miao and Rui Chang and Jianhong Zhao and Yongwang Zhao and Shuang Cao and Tao Wei and Liehui Jiang and Kui Ren 0001},
  year = {2023},
  doi = {10.1109/TDSC.2021.3133576},
  url = {https://doi.org/10.1109/TDSC.2021.3133576},
  researchr = {https://researchr.org/publication/MiaoCZZCWJR23},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Dependable Sec. Comput.},
  volume = {20},
  number = {1},
  pages = {377-391},
}