Provably Secure Cryptography and Its Applications

"Unbreakable cryptography" is crucial in order for secure electronic society. How can we guarantee that a cryptographic scheme is unbreakable? "Does a famous researcher make?" "Is it a standardized protocol by a famous standards body?" However, we know an unfortunate scheme whose vulnerability is found after it became a de-facto standard for e-passports by ISO/IEC. Provable security is a solution against this theme, and guarantees that security of any cryptographic scheme can be proven in a mathematical way. We have studied cryptographic primitives with the provable security. Moreover, we have also studied countermeasures against recent cyber-attacks by utilizing the cryptographic primitives with the provable security.

March 2014 Ph.D. (Engineering), University of Tsukuba
April 2014 Assistant Professor, Graduate School of Information Science and Technology, Osaka University
December 2021 Associate Professor, Graduate School of Information Science and Technology, Osaka University