搜索结果: 1-1 共查到“军事学 Cache Side Channels”相关记录1条 . 查询时间(0.125 秒)
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...