Naofumi Homma

Formal Design of Pipelined GF Arithmetic Circuits and Its Application to Cryptographic Processors

2016

This study presents a formal approach to designing pipelined arithmetic circuits over Galois fields (GFs). The proposed method extends a graph-based circuit description known as a Galois-field arithmetic circuit graph (GF-ACG) to Linear-time Temporal Logic …

Chosen-input side-channel analysis on unrolled light-weight cryptographic hardware

2017

Lightweight ciphers designed with a fully unrolled architecture, capable of encryption/decryption in a single clock cycle, have gained momentum in the last few years. They've shown that very low latency encryption/decryption is possible with modest …

Fault Injection Attack on Salsa20 and ChaCha and a Lightweight Countermeasure

2017

We propose a fault injection attack on Salsa20 and ChaCha stream ciphers. In these stream ciphers, the initial matrix X, which consists of constants, a key, a block counter, and a nonce, is added to …