川本 裕輔

J-GLOBALへ         更新日: 17/04/03 16:55
 
アバター
研究者氏名
川本 裕輔
所属
国立研究開発法人産業技術総合研究所
部署
情報技術研究部門
職名
研究員
学位
博士(情報理工学)(東京大学)

プロフィール

情報セキュリティの理論、特にプログラムとプロトコルの安全性検証に関して、
1. 記号論的手法(数理論理学に基づく形式手法)
2. 情報論的手法(情報理論・統計学に基づく定量的情報流解析)
3. 計算論的手法(計算量理論に基づく証明可能安全性)
の3種類のアプローチから研究しています。

研究分野

 
 

経歴

 
2015年
 - 
現在
国立研究開発法人 産業技術総合研究所 研究員
 
2013年
 - 
2015年
フランス 理工科学校,国立情報学自動制御研究所 博士研究員
 
2012年
 - 
2013年
イギリス バーミンガム大学計算機科学科 研究員
 
2011年
 - 
2012年
フランス カシャン高等師範学校 仕様・検証研究所,国立情報学自動制御研究所 博士研究員
 
2010年
 - 
2011年
フランス カシャン高等師範学校 仕様・検証研究所,日本学術振興会 特別研究員(PD)
 

学歴

 
 
 - 
2010年3月
東京大学大学院 情報理工学系研究科 コンピュータ科学専攻 博士課程
 
 
 - 
2007年3月
東京大学大学院 情報理工学系研究科 コンピュータ科学専攻 修士課程
 
 
 - 
2005年3月
東京大学 理学部 情報科学科
 

受賞

 
2008年9月
日本応用数理学会 2008年度論文賞(理論部門)
 

論文

 
Yusuke Kawamoto, Konstantinos Chatzikokolakis, and Catuscia Palamidessi
submitted      2016年
Yusuke Kawamoto, Fabrizio Biondi and Axel Legay
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月   [査読有り][招待有り]
Yusuke Kawamoto and Thomas Given-Wilson
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月   [査読有り]
Tom Chothia, Yusuke Kawamoto and Chris Novakovic
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月   [査読有り]
Yusuke Kawamoto, Konstantinos Chatzikokolakis, and Catuscia Palamidessi
Proc . of 11th International Conference on Quantitative Evaluation of SysTems (QEST'2014), Lecture Notes in Computer Science   8657 368-383   2014年9月   [査読有り]
Tom Chothia, Yusuke Kawamoto and Chris Novakovic
Proc. of 25th International Conference on Computer Aided Verification (CAV 2013), Lecture Notes in Computer Science   8044 690-695   2013年7月   [査読有り]
Tom Chothia, Yusuke Kawamoto, Chris Novakovic and David Parker
Proc. of 26th IEEE Computer Security Foundations Symposium (CSF 2013)   193-205   2013年6月   [査読有り]
Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel and Joe-Kai Tsay
Advances in Cryptology - 32nd International Cryptology Conference (CRYPTO 2012), Lecture Notes in Computer Science   7417 608-625   2012年8月   [査読有り]
Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, and Hideki Sakurada
Proc. of the 8th International Conference on Information Security Practice and Experience (ISPEC 2012), Lecture Notes in Computer Science   7232 63-79   2012年4月   [査読有り]
http://www.springerlink.com/content/18806kx5m7467771/
Hubert Comon-Lundh, Yusuke Kawamoto, and Hideki Sakurada
JSIAM Letters   1 28-31   2009年5月   [査読有り]
Yusuke Kawamoto, Hideki Sakurada, and Masami Hagiya
Formal to Practical Security, Lecture Notes in Computer Science   5458 158-180   2009年5月   [査読有り]
http://www.springerlink.com/content/6x08136101t66842/
Yusuke Kawamoto, Hideki Sakurada, and Masami Hagiya
Proc. 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月   [査読有り]

書籍等出版物

 
応用数理ハンドブック
川本 裕輔 (担当:分担執筆, 範囲:形式手法の計算論的健全性)
朝倉書店   2013年11月   

講演・口頭発表等

 
プログラム解析と統計手法の融合による定量的情報流解析
Yusuke Kawamoto, Fabrizio Biondi and Axel Legay
第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)   2017年3月9日   日本ソフトウェア科学会 プログラミング論研究会
Yusuke Kawamoto
Second Joint Workshop between France and Japan on Cybersecurity   2016年9月22日   
Combining Static and Statistical Approaches to Quantitative Information Flow [招待有り]
Yusuke Kawamoto
NII Shonan Meeting Seminar 069   2015年10月26日   
Formal and Statistical Approach to Quantitative Information Flow of Programs
Yusuke Kawamoto
Workshop on Formalization of Applied Mathematical Systems   2015年10月1日   
Tom Chothia, Yusuke Kawamoto and Chris Novakovic
日本応用数理学会2015年度年会   2015年9月11日   
Quantitative Information Flow for Scheduler-Dependent Systems
Yusuke Kawamoto and Thomas Given-Wilson
3rd Quantitative Information Flow Day, PRINCESS workshop   2014年12月16日   
Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel and Joe-Kai Tsay
2013年 暗号と情報セキュリティシンポジウム(SCIS 2013)   2013年1月24日   
The "Million Message Attack" in 15,000 Messages -- Efficient Padding Oracle Attacks on Estonian Electronic ID Card, Security Tokens and Smart Cards [招待有り]
Yusuke Kawamoto, Joe-Kai Tsay
Cryptography Seminar, University of Tartu, Estonia   2012年9月   
Computational semantics for epistemic logic
Rohit Chadha, Yusuke Kawamoto and Steve Kremer
Proc. of 8th Workshop on Formal and Computational Cryptography   2012年6月   
Computational soundness without symbolic length function
Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, and Hideki Sakurada
Proc. of 7th Workshop on Formal and Computational Cryptography   2011年6月   
櫻田英樹, 川本裕輔, 萩谷昌己
日本応用数理学会2010年度年会   2010年9月   
Proving computational soundness of the applied pi-calculus without using computable parsing
Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, and Hideki Sakurada
37th Spring School on Theoretical Computer Science and French-Japanese Collaboration Workshop   2010年4月   
Computational soundness of symbolic XOR in the presence of active adversaries
Hideki Sakurada, Yusuke Kawamoto, and Masami Hagiya
37th Spring School on Theoretical Computer Science and French-Japanese Collaboration Workshop   2010年4月   
Applied Pi-Calculusの計算論的健全性のパーズを用いない証明
ウベール・コモン-ルンド, 萩谷 昌己, 川本 裕輔, 櫻田 英樹
第12回プログラミングおよびプログラミング言語ワークショップ(PPL2010)論文集   2010年3月   
川本 裕輔
工学研究会コンピュータサイエンス研究会 講演会, 東北大学電気通信研究所   2009年9月   
非有界個のセッションの下で計算論的に健全な記号的匿名性
Hubert Comon-Lundh, 萩谷昌己, 川本裕輔, 櫻田英樹
日本応用数理学会2009年度年会   2009年9月   
Computational and symbolic anonymity in an unbounded network
Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, and Hideki Sakurada
Proc. of the 5th Workshop on Formal and Computational Cryptography   2009年7月   
Computationally sound symbolic analysis of anonymity in presence of active adversaries
Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, and Hideki Sakurada
Computational and Symbolic Proofs of Security Spring School and Workshop   2009年4月   
Computational soundness of (interactive) zero-knowledge proof systems in presence of active adversaries
Gergei Bana, Yusuke Kawamoto, and Hideki Sakurada
Computational and Symbolic Proofs of Security Spring School and Workshop   2009年4月   
CPA 安全な暗号とゼロ知識証明から構成される CCA1 安全な暗号の確率的ホーア論理を用いた形式的検証
久保田 貴大, 川本 裕輔, 萩谷 昌己
日本応用数理学会2009年春の研究部会連合発表会   2009年3月   
Mapping lemma for rerandomization
Masami Hagiya, Hideki Sakurada, and Yusuke Kawamoto
Fourth Franco-Japanese Computer Security Workshop   2008年12月   
Computational sound symbolic interactive zero-knowledge proof systems
Hideki Sakurada, Yusuke Kawamoto, and Masami Hagiya
Fourth Franco-Japanese Computer Security Workshop   2008年12月   
Computational soundness of symbolic anonymity in the applied pi-calculus
Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, and Hideki Sakurada
Fourth Franco-Japanese Computer Security Workshop   2008年12月   
FCS-ARSPA-WITS, CSF, FCC'08 参加報告---自動検証と形式的証明について
Reynald Affeldt, 川本裕輔
2008年9月   
FCS-ARSPA-WITS, CSF, FCC'08 参加報告---安全性の形式化について
川本裕輔, Reynald Affeldt
日本応用数理学会2008年度年会   2008年9月   
川本裕輔, 櫻田英樹, 萩谷昌己
日本応用数理学会2008年度年会   2008年9月   
Generic Result for Mapping Soundness of Symbolic Signature Primitives
川本裕輔, 櫻田英樹, 萩谷昌己
日本ソフトウェア科学会第25回大会   2008年9月   
計算論的に健全な形式的再暗号化
川本裕輔, 櫻田英樹, 萩谷昌己
日本応用数理学会2008年春の研究部会連合発表会   2008年3月   
マルチエージェントシステムによる電子投票プロトコルの匿名性と耐買収性の検証
川本 裕輔, 真野 健, 櫻田 英樹, 萩谷 昌己
日本応用数理学会2007年春の研究部会連合発表会   2007年3月   
電子投票プロトコルの匿名性検証のための関数部分知識モデル
川本裕輔, 真野健, 櫻田英樹, 萩谷昌己
日本ソフトウェア科学会第23回大会   2006年9月   
知識論理による匿名性検証のための関数部分知識モデル
川本裕輔, 真野健, 櫻田英樹, 萩谷昌己
記号論理学と情報科学(SLACS)第23回研究集会   2006年9月   
様相論理における模倣関係の保存について
川本 裕輔
第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)   2005年3月   

Misc

 
Chothia Tom, Kawamoto Yusuke
Manuscript available at http://www.cs.bham.ac.uk/research/projects/infotools/leakiest      2014年4月
Formal Verification of Cryptography (II)
Yusuke Kawamoto
東京大学大学院情報理工学系研究科「計算システム検証論」      2014年1月   [依頼有り]
Yusuke Kawamoto
東京大学大学院情報理工学系研究科「計算システム検証論」      2014年1月   [依頼有り]
川本 裕輔
応用数理ハンドブック, 朝倉書店   262-263   2013年11月   [依頼有り]
Computational Soundness of Observational Equivalence without Requiring Computable Parsing
Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, and Hideki Sakurada
Information Security Seminar, SQIG, Department of Mathematics, Instituto Superior Técnico, Universidade Técnica de Lisboa      2009年6月
Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, and Hideki Sakurada
Theoretical Computer Science Seminars, CASSIS, LORIA      2009年3月

競争的資金等の研究課題

 
論理的-形式的手法による情報セキュリティ研究-暗号プロトコル検証と量的情報流解析
日本学術振興会およびフランスInria: 二国間交流事業(フランスとの共同研究)
研究期間: 2016年 - 2019年    代表者: 岡田 光弘
文部科学省: 科学研究費補助金(研究活動スタート支援)
研究期間: 2015年 - 2016年    代表者: 川本 裕輔
文部科学省: 科学研究費補助金(特別研究員奨励費)
研究期間: 2009年 - 2011年    代表者: 川本 裕輔

その他

 
2012年6月
CRYPTO 2012に受理された論文がアメリカの一般紙「Boston Globe」で報道されました。New York Times紙のブログでも紹介されました。また、世界中の非常に多くの新聞・雑誌(英語、仏語、独語、露語など)で報道されました。
2007年4月
東京大学理学部「情報科学演習I(論理学)」TA (~ 2007 年9 月)
http://hagi.is.s.u-tokyo.ac.jp/~y_kwmt/course/logic_enshu07/
2005年10月
東京大学理学部「アルゴリズムとデータ構造演習(Scheme)」TA (~ 2006 年 3 月)