お知らせ

国内会議論文「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に採択されました。

国内会議論文「軽量暗号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」です。