Hierarchical Formal Verification Combining Algebraic Transformation with PPRM Expansion and Its Application to Masked Cryptographic Processors
Hierarchical Formal Verification Combining Algebraic Transformation with PPRM Expansion and Its Application to Masked Cryptographic Processors
复制标题
代数变换与PPRM展开相结合的层次形式验证及其在掩码密码处理器中的应用
DOI：
10.1587/transfun.e100.a.1396
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Sumio Morioka
中科院分区：
文献类型：
--
作者：
Rei Ueno;Naofumi Homma;Takafumi Aoki;Sumio Morioka
