川本 裕輔
カワモト ユウスケ (Yusuke Kawamoto)
更新日: 2023/12/08
基本情報
- 所属
- 国立研究開発法人産業技術総合研究所 デジタルアーキテクチャ研究センター 主任研究員
- 学位
-
博士（情報理工学）(2010年3月 東京大学)
- 研究者番号
- 60760006
- ORCID ID
https://orcid.org/0000-0002-2151-9560- J-GLOBAL ID
- 201201089843679034
- researchmap会員ID
- B000220015
研究概要
ソフトウェア科学と情報セキュリティの基礎理論、特に確率的システムのモデル化や検証について、
下記の2種類のアプローチやその融合に取り組んでいます。
- 記号論理的アプローチ（形式検証・プログラミング言語・数理論理など）
- 確率統計的アプローチ（情報理論・推測統計・機械学習など）
最近の研究テーマの例
- 確率的システム・量的性質のための形式検証技術
- 統計手法・機械学習システムの仕様記述・品質管理
- 統計手法・機械学習の性質記述のための論理 [JELIA23] [AI23] [KR21] [SoSyM20]
- 機械学習システムのセキュリティの分類体系 [preprint23a]
- プライバシ保護機構の基礎理論
- 情報漏洩 (QIF / DP) のゲーム理論 [ACM TOPS22] [Ent18]
- 差分プライバシ (DP) の拡張 [ESORICS21] [Allerton19] [ESORICS19] [USENIX Sec19]
以前の研究テーマの例
- 暗号プロトコルのための形式検証技術 [CompSoft16] [handbook13] [ISPEC12]
- 公開鍵暗号RSA PKCS#1 v1.5に対する攻撃 [CRYPTO12] (日本語)
- 深層学習に対するプライバシ攻撃 [IJCNN21]
連携大学院
- 奈良先端科学技術大学院大学の連携大学院では修士・博士課程の大学院生を募集中です。
Reynald Affeldt博士と共同で指導します。通常、リサーチアシスタント（RA）等として雇用できます。
研究キーワード
1主要な論文
34-
Artificial Intelligence 326 104045 2023年11月 査読有り
-
Proc. of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), Lecture Notes in Artificial Intelligence 14281 681-696 2023年9月 査読有り
-
arXiv:2301.07474 2023年1月
-
ACM Transactions on Privacy and Security (TOPS) 25(3:20) 1-36 2022年4月 査読有り
-
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) 411-421 2021年11月 査読有り
-
Proc. of the 26th European Symposium on Research in Computer Security (ESORICS 2021), Part II, Lecture Notes in Computer Science 12973 563-583 2021年10月 査読有り
-
Proc. of the 2021 International Joint Conference on Neural Networks (IJCNN 2021) 2021年7月 査読有り
-
Software and Systems Modeling 20(2) 293-310 2020年9月19日 査読有り
-
Proceedings on Privacy Enhancing Technologies (PoPETs) 2021(2) 5-26 2020年 査読有り
-
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Lecture Notes in Computer Science 11760 344-362 2019年11月 査読有り
-
Proc. of the 57th Annual Allerton Conference on Communication, Control, and Computing (Allerton 2019) 718-725 2019年9月 査読有り
-
Proc. of the 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), Lecture Notes in Computer Science 11724 293-311 2019年9月 査読有り
-
Proc. of the 24th European Symposium on Research in Computer Security (ESORICS 2019), Part I, Lecture Notes in Computer Science 11735 128-148 2019年9月 査読有り
-
Proc. of the 28th USENIX Security Symposium (USENIX Security 2019) 1877-1894 2019年8月 査読有り
-
Formal Aspects of Computing 31(2) 165-206 2019年4月 査読有り
-
Proc. of the 2018 International Symposium on Information Theory and Its Applications (ISITA 2018) 159-163 2018年10月 査読有り
-
Entropy 20(5:382) 1-43 2018年5月 査読有り
-
Proc. of the 7th International Conference on Principles of Security and Trust (POST 2018), Lecture Notes in Computer Science 10804 134-159 2018年4月 査読有り
-
Proc. of the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA 2017), Lecture Notes in Computer Science 10482 156-163 2017年10月 査読有り
-
Proc. of the 8th International Conference on Decision and Game Theory for Security (GameSec 2017), Lecture Notes in Computer Science 10575 437-457 2017年10月 査読有り
-
Logical Methods in Computer Science 13(3:11) 1-31 2017年8月 査読有り
-
Proc. of the 21st International Symposium on Formal Methods (FM 2016), Lecture Notes in Computer Science 9995 406-425 2016年11月 査読有り
-
コンピュータソフトウェア 33(4) 67-83 2016年11月 査読有り招待有り
-
Proc. of the 13th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), Electronic Proceedings in Theoretical Computer Science 194 48-62 2015年9月 査読有り
-
Proc. of the 19th European Symposium on Research in Computer Security (ESORICS 2014), Part II, Lecture Notes in Computer Science 8713 219-236 2014年9月 査読有り
-
Proc . of 11th International Conference on Quantitative Evaluation of SysTems (QEST'2014), Lecture Notes in Computer Science 8657 368-383 2014年9月 査読有り
-
Proc. of 25th International Conference on Computer Aided Verification (CAV 2013), Lecture Notes in Computer Science 8044 690-695 2013年7月 査読有り
-
Proc. of 26th IEEE Computer Security Foundations Symposium (CSF 2013) 193-205 2013年6月 査読有り
-
Advances in Cryptology - CRYPTO 2012 7417 608-625 2012年8月 査読有り
-
Proc. of the 8th International Conference on Information Security Practice and Experience (ISPEC 2012), Lecture Notes in Computer Science 7232 63-79 2012年4月 査読有り
-
Formal to Practical Security, Lecture Notes in Computer Science 5458 158-180 2009年5月 査読有り
-
JSIAM Letters 1 28-31 2009年5月 査読有り
-
110Proc. of Joint Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (FCS-ARSPA-WITS'08) 161-175 2008年6月 査読有り -
日本応用数理学会論文誌 17(4) 559-576 2007年12月 査読有り
書籍等出版物
1-
朝倉書店 2013年11月 (ISBN: 9784254111415)
MISC
5-
日本科学振興協会 年次大会2023「会いに行ける科学者フェス」 2023年10月11日
-
JSIAM Online Magazine 書評 J1706A 2017年7月 招待有り筆頭著者
-
Manuscript available at http://www.cs.bham.ac.uk/research/projects/infotools/leakiest 2014年4月
-
東京大学大学院情報理工学系研究科「計算システム検証論」 2014年1月 招待有り
-
東京大学大学院情報理工学系研究科「計算システム検証論」 2014年1月 招待有り筆頭著者
講演・口頭発表等
53-
日本科学哲学会第56回年次大会 2023年12月2日 日本科学哲学会
-
8th Franco-Japanese Cybersecurity Workshop, WG1 2023年11月29日 Joint Collaboration between France and Japan on Cybersecurity Research 招待有り
-
日本ソフトウェア科学会第40回大会 2023年9月12日 日本ソフトウェア科学会
-
2023年度統計関連学会連合大会 2023年9月7日 統計関連学会連合
-
第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023） 2023年3月8日
-
ERATO MMSD Project Colloquium 2023年2月21日 招待有り
-
The 7th Franco-Japanese Cybersecurity Workshop, WG1 2022年10月24日 招待有り
-
大岡山ロジックセミナー 2021年11月19日
-
French-Japanese Cybersecurity Intermediate Workshop 2021 2021年2月26日 招待有り
-
ERATO MMSD Project Colloquium 2019年7月22日 招待有り
-
5th France-Japan Cybersecurity Workshop 2019年4月23日 招待有り
-
CRISES Research Group Seminar, Universitat Rovira i Virgili 2019年3月18日 招待有り
-
138ゲーム理論ワークショップ2019 2019年3月2日 -
4th Franco-Japanese Cybersecurity Workshop 2018年5月16日 招待有り
-
NII Shonan Meeting Seminar 116 2018年3月6日 招待有り
-
日本応用数理学会2017年度年会 「数理的技法による情報セキュリティ」研究部会 2017年9月6日 日本応用数理学会 招待有り
-
ERATO MMSD Project Colloquium 2017年8月25日 ERATO MMSD 招待有り
-
Third French Japanese Meeting on Cybersecurity 2017年4月24日
-
第19回プログラミングおよびプログラミング言語ワークショップ（PPL2017） 2017年3月9日 日本ソフトウェア科学会 プログラミング論研究会
-
Second Joint Workshop between France and Japan on Cybersecurity 2016年9月22日
Works(作品等)
3-
2012年10月 - 現在 コンピュータソフト
-
2016年 - 2017年 コンピュータソフト
-
2013年 - 2014年 コンピュータソフト
主要な共同研究・競争的資金等の研究課題
12-
科学技術振興機構 戦略的基礎研究推進事業 個人型研究（さきがけ） 数学と情報科学で解き明かす多様な対象の数理構造と活用 2020年11月 - 2024年3月
-
新エネルギー・産業技術総合開発機構 次世代人工知能・ロボット中核技術開発 2019年7月 - 2024年3月
-
科学技術振興機構 総括実施型研究（ERATO） 2020年4月 - 2022年3月
-
日本学術振興会 科学研究費助成事業 若手研究(B) 若手研究(B) 2017年4月 - 2020年3月
-
日本学術振興会およびフランスInria 二国間交流事業（フランスInriaとの共同研究） 2016年4月 - 2019年3月
-
日本学術振興会 科学研究費補助金(研究活動スタート支援) 研究活動スタート支援 2015年8月 - 2017年3月
-
日本学術振興会 研究者海外派遣基金助成金（優秀若手研究者海外派遣事業（特別研究員）） 2010年4月 - 2011年1月
主要な経歴
11-
2022年4月 - 現在
-
2021年4月 - 現在
-
2020年11月 - 現在
-
2019年10月 - 現在
-
2018年11月 - 2019年9月
-
2015年4月 - 2018年10月
-
2013年 - 2015年
-
2012年 - 2013年
-
2011年 - 2012年
-
2010年 - 2011年
学歴
3-
- 2010年3月
-
- 2007年3月
-
- 2005年3月
受賞
2-
2019年8月
-
2008年9月
その他
4-
2007年4月 - 2007年9月http://hagi.is.s.u-tokyo.ac.jp/~y_kwmt/course/logic_enshu07/
社会貢献活動
1