Kotaro Okamoto

A hierarchical formal approach to verifying side-channel resistant cryptographic processors

Takafumi Aoki, Naofumi Homma, Sumio Morioka, 2014, 2014 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST).

An Efficient Approach to Verifying Galois-Field Arithmetic Circuits of Higher Degrees and Its Application to ECC Decoders

Takafumi Aoki, Naofumi Homma, Rei Ueno, 2014, 2014 IEEE 44th International Symposium on Multiple-Valued Logic.

A Graph-Based Approach to Designing Parallel Multipliers over Galois Fields Based on Normal Basis Representations

Takafumi Aoki, Naofumi Homma, Kotaro Okamoto, 2013, 2013 IEEE 43rd International Symposium on Multiple-Valued Logic.

Classification of Pedestrian Behavior in a Shopping Mall based on LRF and Camera Observations

Norihiro Hagita, Hirotake Yamazoe, Akira Utsumi, 2011, MVA.

Formal Design of Arithmetic Circuits over Galois Fields Based on Normal Basis Representations

Takafumi Aoki, Naofumi Homma, Kotaro Okamoto, 2014, IEICE Trans. Inf. Syst..

Gaze tracking in wide area using multiple camera observations

Norihiro Hagita, Akira Utsumi, Kazuhiro Takahashi, 2012, ETRA '12.