搜索结果: 1-1 共查到“军事学 static analysis”相关记录1条 . 查询时间(0.078 秒)
We present CacheAudit, a versatile framework for the automatic, static analysis of cache side channels. CacheAudit takes as input a program binary and a cache configuration, and it derives formal, qua...