SCVerify:抗功耗侧信道攻击软件实现的验证 - 张俊 (计算机科学与探索, 2021)
Keywords: 形式化验证; 软件验证; 可满足性模理论(SMT); 侧信道攻击; 类型推导