Kotaro Okamoto

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Hierarchical Structures

Top Venues

IEICE Trans. Inf. Syst.

Publications

Kotaro Okamoto, Naofumi Homma, Takafumi Aoki, Sumio Morioka
A hierarchical formal approach to verifying side-channel resistant cryptographic processors. HOST (2014)
Rei Ueno, Kotaro Okamoto, Naofumi Homma, Takafumi Aoki
An Efficient Approach to Verifying Galois-Field Arithmetic Circuits of Higher Degrees and Its Application to ECC Decoders. ISMVL (2014)
Kotaro Okamoto, Naofumi Homma, Takafumi Aoki
Formal Design of Arithmetic Circuits over Galois Fields Based on Normal Basis Representations. IEICE Trans. Inf. Syst. (9) (2014)
Kotaro Okamoto, Naofumi Homma, Takafumi Aoki
A Graph-Based Approach to Designing Parallel Multipliers over Galois Fields Based on Normal Basis Representations. ISMVL (2013)
Akira Utsumi, Kotaro Okamoto, Norihiro Hagita, Kazuhiro Takahashi
Gaze tracking in wide area using multiple camera observations. ETRA (2012)
Kotaro Okamoto, Akira Utsumi, Hirotake Yamazoe, Takahiro Miyashita, Shinji Abe, Kazuhiro Takahashi, Norihiro Hagita
Classification of Pedestrian Behavior in a Shopping Mall based on LRF and Camera Observations. MVA (2011)