IEICE Transaction（電子情報通信学会英文論文誌）／R.Ueno, N.Homma, T.Aoki and S.Morioka, “Hierarchical Formal Verification Combining Algebraic Transformation with PPRM Expansion and Its Application to Masked Cryptographic Processors”, IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E100-A, No.7, pp.1396-1408, Jul. 2017.

【学会名】
IEICE Transaction（電子情報通信学会英文論文誌）

【タイトル】

R.Ueno, N.Homma, T.Aoki and S.Morioka, “Hierarchical Formal Verification Combining Algebraic Transformation with PPRM Expansion and Its Application to Masked Cryptographic Processors”, IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E100-A, No.7, pp.1396-1408, Jul. 2017.