...
机译:验证和量化被掩盖的软件实现的边通道电阻
ShanghaiTech Univ 393 Middle Huaxia Rd Shanghai 201210 Peoples R China|Univ Chinese Acad Sci Beijing Peoples R China|Chinese Acad Sci Shanghai Inst Microsyst & Informat Technol Beijing Peoples R China;
ShanghaiTech Univ 393 Middle Huaxia Rd Shanghai 201210 Peoples R China;
Univ Southern Calif 941 Bloom Walk Rd Los Angeles CA 90089 USA;
Differential power analysis; perfect masking; type inference; quantitative masking strength; satisfiability modulo theory (SMT); cryptographic software; AES; MAC-Keccak;
机译:定量掩蔽强度:量化软件代码的功率侧通道电阻
机译:应对侧信道攻击的软件对策的形式验证
机译:使用实施分集进行加密算法的侧通道电阻
机译:QMS:从源代码评估被屏蔽软件的侧通道电阻
机译:排放估算中可变性和不确定性的量化:通用方法和软件实施。
机译:多维时间序列分析的多维递归量化分析(MdRQA):MATLAB中的软件实现及其在联合行动中的组级数据应用
机译:查明掩蔽的AES硬件实现的侧通道泄漏