研究者
J-GLOBAL ID：201201089843679034   更新日: 2023年12月07日

川本 裕輔

カワモト ユウスケ | Kawamoto Yusuke
所属機関・部署：
国立研究開発法人産業技術総合研究所 デジタルアーキテクチャ研究センター

国立研究開発法人産業技術総合研究所 デジタルアーキテクチャ研究センター について


職名： 主任研究員
研究分野 (3件)： 情報セキュリティ ,  ソフトウェア ,  情報学基礎論
研究キーワード (1件)： 形式手法
競争的資金等の研究課題 (12件)：
  • 2021 - 2024 議論の形式検証を実現する論理的手法の研究
  • 2020 - 2024 統計解析プログラムのための形式検証手法
  • 2019 - 2024 機械学習システムの品質評価指標・測定テストベッドの研究開発
  • 2020 - 2022 蓮尾メタ数理システムデザイン
  • 2019 - 2022 大規模なパーソナルデータに向けた局所型プライバシー保護技術の研究
全件表示
論文 (34件)：
  • Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga. Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs. Artificial Intelligence. 2023. 326. 104045
  • Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga. Formalizing Statistical Causality via Modal Logic. Proc. of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), Lecture Notes in Artificial Intelligence. 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
もっと見る
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
特許 (1件)：
  • タイミング攻撃に対抗するための情報処理方法、システム及びプログラム
書籍 (1件)：
  • 応用数理ハンドブック
    朝倉書店 2013 ISBN:9784254111415
講演・口頭発表等 (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)
もっと見る
Works (3件)：
  • システムからの情報漏洩を測定するツール leakiEst の開発
    2012 - 現在
  • 確率的プログラムからの情報漏洩量を推定するツールHyLeakの開発
    2016 - 2017
  • Javaプログラムからの情報漏洩を推定するツールLeakWatchの開発
    2013 - 2014
学歴 (3件)：
  • - 2010 東京大学大学院 情報理工学系研究科 コンピュータ科学専攻 博士課程
  • - 2007 東京大学大学院 情報理工学系研究科 コンピュータ科学専攻 修士課程
  • - 2005 東京大学 理学部 情報科学科
学位 (1件)：
  • 博士(情報理工学) (東京大学)
経歴 (11件)：
  • 2022/04 - 現在 奈良先端科学技術大学院大学 先端科学技術研究科 情報科学領域 客員准教授
  • 2021/04 - 現在 (国研) 産業技術総合研究所 デジタルアーキテクチャ研究センター 主任研究員
  • 2020/11 - 現在 (国研) 科学技術振興機構 さきがけ研究者
  • 2019/10 - 現在 (国研)産業技術総合研究所 サイバーフィジカルセキュリティ研究センター 主任研究員
  • 2018/11 - 2019/09 (国研) 産業技術総合研究所 サイバーフィジカルセキュリティ研究センター 研究員
全件表示
受賞 (2件)：
  • 2019/08 - 日本ソフトウェア科学会 第7回解説論文賞
  • 2008/09 - 日本応用数理学会 2008年度論文賞(理論部門)
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM