Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2020/12/01 Vol. E103-ANo. 12pp. 1629-1639 Type of Manuscript: PAPER Category: Cryptography and Information Security Keyword: twekakble block cipher, generalized feistel structure, TWINE, MILP,
Hierarchical Formal Verification Combining Algebraic Transformation with PPRM Expansion and Its Application to Masked Cryptographic Processors Rei UENONaofumi HOMMATakafumi AOKISumio MORIOKA