Rei UENO


Automatic Generation System for Multiple-Valued Galois-Field Parallel Multipliers
Rei UENO Naofumi HOMMA Takafumi AOKI 
Publication:   
Publication Date: 2017/08/01
Vol. E100-D  No. 8  pp. 1603-1610
Type of Manuscript:  Special Section PAPER (Special Section on Multiple-Valued Logic and VLSI Computing)
Category: VLSI Architecture
Keyword: 
GF arithmetic circuitsformal designparallel multipliersautomatic generationmultiple-valued logic
 Summary | Full Text:PDF(979.3KB)

Hierarchical Formal Verification Combining Algebraic Transformation with PPRM Expansion and Its Application to Masked Cryptographic Processors
Rei UENO Naofumi HOMMA Takafumi AOKI Sumio MORIOKA 
Publication:   
Publication Date: 2017/07/01
Vol. E100-A  No. 7  pp. 1396-1408
Type of Manuscript:  Special Section PAPER (Special Section on Design Methodologies for System on a Chip)
Category: 
Keyword: 
design methodology for security hardwareformal designcryptographic processorsGalois fieldarithmetic circuits
 Summary | Full Text:PDF(2.3MB)

Efficient DFA on SPN-Based Block Ciphers and Its Application to the LED Block Cipher
Rei UENO Naofumi HOMMA Takafumi AOKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2015/01/01
Vol. E98-A  No. 1  pp. 182-191
Type of Manuscript:  Special Section PAPER (Special Section on Cryptography and Information Security)
Category: Foundation
Keyword: 
differential fault analysisfault injection attacksubstitution-permutation networkLED block cipherlightweight cryptography
 Summary | Full Text:PDF(969.9KB)