摘要：HasTEE: 一种用于可信执行环境(TEE)应用的嵌入式领域特定语言。
作者：Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen
论文ID：2307.13172
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-07-26
PDF 下载： 英文版 中文版pdf翻译中