%0 Journal Article %1 journals/tdsc/MiaoCZZCWJR23 %A Miao, Xinliang %A Chang, Rui %A Zhao, Jianhong %A Zhao, Yongwang %A Cao, Shuang %A Wei, Tao %A Jiang, Liehui %A Ren, Kui %D 2023 %J IEEE Trans. Dependable Secur. Comput. %K dblp %N 1 %P 377-391 %T CVTEE: A Compatible Verified TEE Architecture With Enhanced Security. %U http://dblp.uni-trier.de/db/journals/tdsc/tdsc20.html#MiaoCZZCWJR23 %V 20

@article{journals/tdsc/MiaoCZZCWJR23, added-at = {2023-01-31T00:00:00.000+0100}, author = {Miao, Xinliang and Chang, Rui and Zhao, Jianhong and Zhao, Yongwang and Cao, Shuang and Wei, Tao and Jiang, Liehui and Ren, Kui}, biburl = {https://www.bibsonomy.org/bibtex/237e66508aedf63b8c821b8c1a1f04577/dblp}, ee = {https://doi.org/10.1109/TDSC.2021.3133576}, interhash = {b28f6afaef5bcec15edb58d9a2730d9f}, intrahash = {37e66508aedf63b8c821b8c1a1f04577}, journal = {IEEE Trans. Dependable Secur. Comput.}, keywords = {dblp}, number = 1, pages = {377-391}, timestamp = {2024-04-09T06:54:08.000+0200}, title = {CVTEE: A Compatible Verified TEE Architecture With Enhanced Security.}, url = {http://dblp.uni-trier.de/db/journals/tdsc/tdsc20.html#MiaoCZZCWJR23}, volume = 20, year = 2023 }