Kawamoto Yusuke

カワモトユウスケ | Kawamoto Yusuke

Affiliation and department：
Job title： Senior Research Scientist

Research field (3)： Information security , Software , Information theory

Research keywords (1)： formal methods

Research theme for competitive and other funds (10)：

2020 - 2024 統計解析プログラムのための形式検証手法
2019 - 2022 機械学習システムの品質評価指標・測定テストベッドの研究開発
2019 - 2022 大規模なパーソナルデータに向けた局所型プライバシー保護技術の研究
2018 - 2020 Quality Assurance of Machine-Learned AI Software
2017 - 2020 Quantitative Verification of Cyber-Physical Systems by Integrating Statistical and Formal Approaches

Show all

Papers (29)：

Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi, [alphabetical authorship]. Information Leakage Games: Exploring Information as a Utility Function. CoRR abs/2012.12060. 2020
Natasha Fernandes, Yusuke Kawamoto, Takao Murakami, [alphabetical authorship]. Locality Sensitive Hashing with Extended Differential Privacy. CoRR. 2020. abs/2010.09393
Yusuke Kawamoto. An Epistemic Approach to the Formal Specification of Statistical Machine Learning. Software and Systems Modeling. 2020
Takao Murakami, Koki Hamada, Yusuke Kawamoto, Takuma Hatano. Privacy-Preserving Multiple Tensor Factorization for Synthesizing Large-Scale Location Traces with Cluster-Specific Features. Proceedings on Privacy Enhancing Technologies (PoPETs). 2020. 2021. 2
Yusuke Kawamoto. Statistical Epistemic Logic. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Lecture Notes in Computer Science. 2019. 11760. 344-362

ｍore...

MISC (4)：

川本裕輔. 書評『シリーズ応用数理【1】巻数理的技法による情報セキュリティ』(日本応用数理学会監修・萩谷昌己・塚田恭章編). JSIAM Online Magazine 書評. 2017. J1706A
Tom Chothia, Yusuke Kawamoto. Statistical Estimation of Min-entropy Leakage. Manuscript available at http://www.cs.bham.ac.uk/research/projects/infotools/leakiest. 2014
Yusuke Kawamoto. Formal Verification of Cryptography (II). 東京大学大学院情報理工学系研究科「計算システム検証論」. 2014
Yusuke Kawamoto. Formal Verification of Cryptography (I). 東京大学大学院情報理工学系研究科「計算システム検証論」. 2014

Patents (1)：

Books (1)：

Handbook of Applied Mathematics (In Japanese)
Asakura Publishing 2013 ISBN:9784254111415

Lectures and oral presentations (44)：

Statistical Epistemic Logic and its Application to Expressing Statistical Properties of Machine Learning
(ERATO MMSD Project Colloquium 2019)
Epistemic logic for expressing the statistical security of machine learning
(5th France-Japan Cybersecurity Workshop 2019)
Local Differential Privacy for Sensitive Data and Attributes
(CRISES Research Group Seminar, Universitat Rovira i Virgili 2019)
情報量を利得とするゲームとプライバシー定量化への応用
(ゲーム理論ワークショップ2019 2019)
Obfuscation Mechanisms with Distribution Privacy
(4th Franco-Japanese Cybersecurity Workshop 2018)

ｍore...

Works (3)：

leakiEst: Tool for "Leaking information Estimation"
2012 - 現在
HyLeak: Hybrid analysis tool for information leakage
2016 - 2017
LeakWatch: Command-line tool and Java API for estimating information leakage from Java programs
2013 - 2014

Education (3)：

Professional career (1)：

Work history (9)：

2020/11 - 現在 Japan Science and Technology Agency (JST) PRESTO Researcher
2019/10 - 現在 CPSEC, National Institute of Advanced Industrial Science and Technology (AIST) , Senior Research Scientist
2018/11 - 2019/09 CPSEC, National Institute of Advanced Industrial Science and Technology (AIST) , Research Scientist
2015/04 - 2018/10 ITRI, National Institute of Advanced Industrial Science and Technology (AIST) , Research Scientist
2013 - 2015 LIX, École Polytechnique & Inria Saclay, France , Post-doctoral Researcher

Show all

Awards (2)：

2019/08 - Japan Society for Software Science and Technology (JSSST) Best Review Paper Award
2008/09 - Japan Society for Industrial and Applied Mathematics (JSIAM) Best Papers Award 2008

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page