Skip to content

Haruki Ota

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

3

Active years

2010–2011

Best venue rank

B

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2011NSSAutomatic security verification for 3-party authentication and key exchange protocols.Haruki Ota, Shinsaku Kiyomoto, Yutaka Miyake
2010AINASecurity Verification for Authentication and Key Exchange Protocols, Revisited.Haruki Ota, Shinsaku Kiyomoto, Toshiaki Tanaka
2010MOMMImplementation of remote system using touchless palmprint recognition algorithm.Haruki Ota, Ryu Watanabe, Koichi Ito, Toshiaki Tanaka, Takafumi Aoki