Japanese page

@Braga, Portugal
Yoshinobu Kawabe
Welcome! I am interested in the formal verification of computer programs. Currently, I am engaged in trust computations and verifying the security properties of communication protocols.

Research Interests

"Are the rescue requests found on the social networking site genuine?"
"How can we make communicating programs correct?"
"Is this communication protocol secure? How can you explain it?"

The use of formal methods, which is a methodology to prove the correctness of various software systems, can answer these questions. Formally, for example, we can confirm that a security protocol does not leak private information on the Internet, where we can see that the leakage of confidential information is due to a "bug" of the protocol.

My research concerns human trust, information security, formal verification of security protocols, and the foundation of computer science.

Recent Publications

Contact Address

Dept. of Information Science,
Aichi Institute of Technology.
1247 Yachigusa Yakusa-Cho
Toyota, 470-0392, JAPAN

Email: kawabe [at] aitech.ac.jp

Updated: May 4, 2022