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 (12)：

Show all

Papers (34)：

Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga. Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs. Artificial Intelligence. 2023. 326. 104045
Formalizing Statistical Causality via Modal Logic. 2023. 14281. 681-696
Yusuke Kawamoto, Kazumasa Miyake, Koichi Konishi, Yutaka Oiwa. Threats, Vulnerabilities, and Controls of Machine Learning Based Systems: A Survey and Taxonomy. arXiv:2301.07474. 2023
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi, [alphabetical authorship]. Information Leakage Games: Exploring Information as a Utility Function. ACM Transactions on Privacy and Security (TOPS). 2022. 25. 3:20. 1-36
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga. Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic. Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021). 2021. 411-421

ｍore...

MISC (5)：

川本裕輔, 佐藤哲也, 末永幸平. 論理の力で統計を正しく使う. 日本科学振興協会年次大会2023「会いに行ける科学者フェス」. 2023
川本裕輔. 書評『シリーズ応用数理【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 (53)：

統計の適切さを記述し検証するためのプログラム論理
(日本科学哲学会第56回年次大会 2023)
A logic-based approach to explaining causality and fairness
(8th Franco-Japanese Cybersecurity Workshop, WG1 2023)
様相論理による統計的因果の形式化
(日本ソフトウェア科学会第40回大会 2023)
統計解析プログラムの正しさを保証するための形式検証技術
(2023年度統計関連学会連合大会 2023)
プログラム論理を用いた仮説検定の統計的信念の形式化
(第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023) 2023)

ｍ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 (11)：

2022/04 - 現在 Nara Institute of Science and Technology Division of Information Science, Graduate School of Science and Technology Affiliate Associate Professor
2021/04 - 現在 National Institute of Advanced Industrial Science and Technology (AIST) DigiARC Senior Research Scientist
2020/11 - 現在 Japan Science and Technology Agency (JST) PRESTO Researcher
2019/10 - 現在 National Institute of Advanced Industrial Science and Technology (AIST) CPSEC Senior Research Scientist
2018/11 - 2019/09 National Institute of Advanced Industrial Science and Technology (AIST) CPSEC Research Scientist

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