Yusuke KAWAMOTO

I am a research scientist at AIST (National Institute of Advanced Industrial Science and Technology) in Japan.

From 2012 to 2013 I was a research fellow at School of Computer Science, the University of Birmingham in United Kingdom.

Research

My research topic is the foundation of information security, especially the design, analyses and verification of probabilistic programs and protocols by:

  1. the symbolic approach (based on mathematical logic);
  2. the information theoretical approach (based on information theory and statistics);
  3. the computational approach (based on computational complexity theory).

In particular, I recently study

  • the formal verification of quantitative properties in probabilistic programs
    (e.g. a hybrid approach that combines the symbolic approach with the statistical one to quantify information leakage);
  • the design of quantitative privacy mechanisms
    (e.g. extended differential privacy mechanisms, and game-based defender mechanisms).

More details can be found in the following page: http://researchmap.jp/y_kawamoto/?lang=english



Publication

Submitted Drafts

Refereed Papers

Books

Tutorials

Lectures

Misc

Contact

Dr Yusuke Kawamoto
AIST Tsukuba Central 1,
1-1-1 Umezono, Tsukuba, Ibaraki 305-8568 JAPAN.