Proposal of a Transformation Method for Iris Codes in Iris Scanning Verification. - Haruki Ota; Shinsaku Kiyomoto; Toshiaki Tanaka (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

Secure Cross-Realm Client-to-Client Password-Based Authenticated Key Exchange Against Undetectable On-Line Dictionary Attacks. - Kazuki Yoneyama; Haruki Ota; Kazuo Ohta (AAECC, 2007)

Universally Composable Hierarchical Hybrid Authenticated Key Exchange. - Haruki Ota; Kazuki Yoneyama; Shinsaku Kiyomoto; Toshiaki Tanaka; Kazuo Ohta (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007)

Universally Composable Client-to-Client General Authenticated Key Exchange. - Haruki Ota; Kazuki Yoneyama; Shinsaku Kiyomoto; Toshiaki Tanaka; Kazuo Ohta (Inf. Media Technol., 2007)

On-the-Fly Automatic Generation of Security Protocols. - Shinsaku Kiyomoto; Haruki Ota; Toshiaki Tanaka (ICEIS (3-2), 2008)

Security Verification for Authentication and Key Exchange Protocols, Revisited. - Haruki Ota; Shinsaku Kiyomoto; Toshiaki Tanaka (AINA Workshops, 2010)

Implementation of remote system using touchless palmprint recognition algorithm. - Haruki Ota; Ryu Watanabe; Koichi Ito 001; Toshiaki Tanaka; Takafumi Aoki (MoMM, 2010)

Automatic security verification for 3-party authentication and key exchange protocols. - Haruki Ota; Shinsaku Kiyomoto; Yutaka Miyake (NSS, 2011)

Implementation and evaluation of a remote authentication system using touchless palmprint recognition. - Haruki Ota; Shoichiro Aoyama; Ryu Watanabe; Koichi Ito 001; Yutaka Miyake; Takafumi Aoki (Multim. Syst., 2013)