Rchr
J-GLOBAL ID：201201089843679034
Update date: Jun. 02, 2024
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 (13)：
- 2024 - 2027 信頼できる統計のための形式検証技術
- 2020 - 2025 統計解析プログラムのための形式検証手法
- 2021 - 2024 議論の形式検証を実現する論理的手法の研究
- 2019 - 2024 機械学習システムの品質評価指標・測定テストベッドの研究開発
- 2020 - 2022 Hasuo Metamathematics for Systems Design
- 2019 - 2022 A Study on Locally Private Algorithms for Large-Scale Personal Data
- 2018 - 2020 Quality Assurance of Machine-Learned AI Software
- 2017 - 2020 Quantitative Verification of Cyber-Physical Systems by Integrating Statistical and Formal Approaches
- 2016 - 2019 LOGIS: Logical and Formal Methods for Information Security - Special Focus on Cryptographic Protocol Verification and Information Flow Analysis
- 2015 - 2017 Quantitative Analysis of Information Leakage in Cyber-Physical Systems
- 2010 - 2011 Studies on the Computational Soundness of Formal Verification of Security Protocols
- 2009 - 2011 Studies on the Computational Soundness of Formal Verification of Security Protocols
- 2008 - 2008 Studies on the Computational Soundness of Formal Verification of Security Protocols
Show all
Papers (35)：
-
Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga, [alphabetical authorship]. StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs. arXiv:2405.17492. 2024
-
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
ｍ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 (55)：
-
適切な仮説検定を実現するためのOCamlモジュールStatEff
(第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024) 2024)
-
統計の適切さを記述し検証するためのプログラム論理
(日本科学哲学会第56回年次大会 2023)
-
A logic-based approach to explaining causality and fairness
(8th Franco-Japanese Cybersecurity Workshop, WG1 2023)
-
様相論理による統計的因果の形式化
(日本ソフトウェア科学会第40回大会 2023)
-
統計解析プログラムの正しさを保証するための形式検証技術
(2023年度統計関連学会連合大会 2023)
ｍore...
Works (5)：
-
StatEff: an OCaml module to implement correct hypothesis testing
2023 - 現在
-
StatWhy: a formal verification tool for statistical hypothesis testing programs
2022 - 現在
-
leakiEst: a tool for "Leaking information Estimation"
2012 - 現在
-
HyLeak: a hybrid analysis tool for information leakage
2016 - 2017
-
LeakWatch: a command-line tool and Java API for estimating information leakage from Java programs
2013 - 2014
Education (3)：
- - 2010 University of Tokyo Ph.D. in Computer Science
- - 2007 University of Tokyo M.Sc. in Computer Science
- - 2005 University of Tokyo B.Sc. in Information Science
Professional career (1)：
- PhD in Computer Science (University of Tokyo)
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
- 2015/04 - 2018/10 National Institute of Advanced Industrial Science and Technology (AIST) ITRI Research Scientist
- 2013 - 2015 LIX, École Polytechnique & Inria Saclay, France Post-doctoral Researcher
- 2012 - 2013 University of Birmingham, UK School of Computer Science Research Fellow
- 2011 - 2012 ENS Cachan & Inria Saclay, France LSV Post-doctoral Researcher
- 2010 - 2011 ENS Cachan, France & JSPS, Japan LSV Post-doctoral Research Fellow
- 2009 - 2010 JSPS, Japan Research Fellow (DC2)
Show all
Awards (3)：
- 2024/03 - National Institute of Advanced Industrial Science and Technology (AIST) AIST President Award (Social Implementation)
- 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
Return to Previous Page
