伊藤 竜馬

国立研究開発法人情報通信研究機構(NICT)
経営企画部 企画戦略室 プランニングマネージャー
サイバーセキュリティ研究所 セキュリティ基盤研究室 研究マネージャー
〒184-8795 東京都小金井市貫井北町4-2-1

伊藤 竜馬

ABOUT

自己紹介

2009年3月に防衛大学校理工学部電気電子工学科を卒業し、航空自衛隊に入隊しました。航空自衛隊に在職しながら、2015年3月に北陸先端科学技術大学院大学の修士課程を修了し、2019年5月に大阪大学の博士課程を修了して博士(工学)の学位を取得しました。

2020年4月に国立研究開発法人情報通信研究機構に主任研究員として入所しました。現在は、経営企画部企画戦略室のプランニングマネージャーと、サイバーセキュリティ研究所セキュリティ基盤研究室の研究マネージャーを兼務しています。

共通鍵暗号の安全性解析・設計と、実システムの安全性評価を研究しています。特に、エンドツーエンド暗号化を採用したメッセージングアプリやビデオ会議システムに関心があり、暗号技術とその使われ方の両面から安全性を検証しています。

UPDATES

お知らせ

国内会議論文「LLM支援によるSATベース衝突探索」と「GIFT-128-MMOに対するSATベース実衝突探索の効率化手法」についてCSS 2026で発表しました。

学術誌論文「Generalizing Bit-based Rebound Attacks on AES-like Hashing」がIACR Communications in Cryptologyに採択されました。

国際会議論文「Finding Collision for HMAC-SHA Forgery in the Secret-State Setting」がASIACRYPT 2026に採択されました。

国際会議論文「Accelerated Differential Search for Gleeok Using Hamming-Weight-Guided SAT Solving」がCANS 2026に採択されました。

国際会議論文「Refining the Evaluation of Diffusion Property for Simon Variants」がISITA 2026に採択されました。

過去のお知らせ 13件 折りたたむ

国内会議論文「軽量暗号PRINCEに対する分割クラスタリング手法を用いた差分確率評価」についてISEC研究会で発表しました。

ICSS研究会で発表した国内会議論文「LINEグループ通信に対するTamarin-Proverを用いた安全性自動検証」がICSS研究賞を受賞しました。

SCIS 2027の実行委員に就任しました。

NICTがRocket.Chatの脆弱性に関するプレスリリースを公開しました。Black Hat Asia 2026 Briefingsでの講演についても紹介されています。

NICTでの所属・役職が変わりました。経営企画部企画戦略室のプランニングマネージャーと、サイバーセキュリティ研究所セキュリティ基盤研究室の研究マネージャーを兼務します。

国内会議論文「効率的なAESベース認証暗号の設計」と「低消費認証暗号AETHERの詳細な安全性評価と改良」についてISEC研究会で発表しました。

国内会議論文「LINEグループ通信に対するTamarin-Proverを用いた安全性自動検証」についてICSS研究会で発表しました。

国内会議論文「軽量ハッシュ関数 Lesamnta-LW の衝突攻撃に対する安全性評価」と「HMAC-SHA-1およびHMAC-SHA-256の衝突を利用した偽造攻撃に対する安全性評価」についてSCIS 2026で発表しました。

国際会議論文「Automated Tool for Finding Practical Collisions on SPN-based Hash Functions」と「Analyzing Forgery Security of LeMac: Tight Bounds and Impact of Padding」がACISP 2026に採択されました。

産業系セキュリティ分野で難関とされる国際会議Black Hat Asia 2026 Briefingsでの講演が決定しました。 講演タイトルは「Payload Compromised: Full Key Recovery in Rocket.Chat E2EE」です。