Dr Yusuke Kawamoto

AIST Tsukuba Central 1,

1-1-1 Umezono, Tsukuba, Ibaraki 305-8560 JAPAN.

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

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

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

In particular, I recently study

- the
**formal verification of quantitative properties**in probabilistic systems

(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

Dr Yusuke Kawamoto

AIST Tsukuba Central 1,

1-1-1 Umezono, Tsukuba, Ibaraki 305-8560 JAPAN.

»º¶Èµ»½ÑÁí¹ç¸¦µæ½ê / AIST ¾ðÊóµ»½Ñ¸¦µæÉôÌç / ITRI