Program processors; Optimization; Semantics; Standards; Micromechanical devices; Side-channel attacks;
机译:验证编译器保留并发的值相关的信息流安全性
机译:OpenMP对GPU目标构建的绩效评估 - 探索编译优化
机译:通用编译器优化在C11内存模型中无效,而我们可以采取的措施
机译:编译器优化中的信息流保留
机译:现代应用平台中的信息流控制:建模,正式验证和控制的解密
机译:通过协议组成的信息流控制的游戏理论方法
机译:将信息流安全性编译到最小可信计算基础