Takafumi Aoki

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 …