Yusuke Kawamoto

Yusuke Kawamoto is a senior research scientist working on the foundation of information security and software science, especially the modeling and verification of probabilistic programs, protocols, and systems by using the following approaches and their integration:

• symbolic approach (e.g., formal methods, programming languages, and mathematical logic);
• probabilistic approach (e.g., information theory, inferential statistics, and machine learning).

Examples of my recent research interests

1. Formal methods for probabilistic systems and quantitative properties
   • Statistical approach to program analysis [FAOC19] [ESORICS14] [CAV13]
   • Foundation of quantitative information flow (QIF) [LMCS17] [QAPL15] [CSF13]
2. Formal specification and quality management of machine learning and artificial intelligence
   • Logic for statistics and machine learning [JELIA23] [AI23] [KR21] [SoSyM20]
   • Taxonomy for machine learning security [preprint23a]
3. Foundation of privacy protection mechanisms
   • Game theory for information leakage (QIF/DP) [ACM TOPS22] [Entropy18]
   • Extension of differential privacy (DP) [ESORICS21] [Allerton19] [ESORICS19] [USENIX Sec19]

Previous research topics

• Formal methods for cryptographic protocols [CompSoft16] [handbook13] [ISPEC12]
• Attacks on RSA PKCS#1 v1.5 on cryptographic device [CRYPTO12]
• Attacks on the privacy of deep transfer learning [IJCNN21]

Open positions

• Reynald Affeldt and Yusuke Kawamoto jointly supervise master's and Ph.D. students at NAIST (Nara Institute of Science and Technology) officially.
• Unlike AIST (our primary affiliation), NAIST is a national university that can grant academic degrees.

E-mail: yusuke000kawamoto AT aist000go000jp (Please replace 000 with . and AT with @)

• Research discussion and suggestions from researchers would be greatly appreciated.
• Currently, no applications of interships can be accepted.
• Owing to my limited capacity, I may not be able to reply to all emails. Thank you for your understanding.