搜索结果: 1-1 共查到“symbolic models”相关记录1条 . 查询时间(0.093 秒)
Symbolic Models for Isolated Execution Environments
isolated execution environments trusted hardware symbolic models
2017/2/20
Isolated Execution Environments (IEEs), such as ARM TrustZone and Intel SGX, offer the possibility to execute sensitive code in isolation from other malicious programs, running on the same machine, or...