• 共通鍵暗号の設計 / 解析

  • Beyond 5G/6Gに向けたブロック暗号の設計 / 解析

  • IoTデバイス向け軽量暗号の設計 / 解析

• 暗号プロトコルの解析

  • End-to-End Encryption システムの安全性解析

  • Massive IoTシステムの安全性解析

  • Tamarin Proverを用いた形式検証

• 2026年10月:  CSS2026 形式検証とセキュリティワークショップ(FWS2026)にて、Tamarin-Prover ハンズオン実習の講師を務めます．
  ハンズオン実習関連リンク

• 2026年10月:  CSS2026 形式検証とセキュリティワークショップ (FWS2026)にて、招待講演を行います．
  関連リンク

• 2026年9月: 論文が国際会議IEEE S&P2027に採録されました．
  title: "Sowing Discord: Exploiting the Lack of Key Commitment in E2EE Group RTC"

• 2026年6月: 論文が国際会議 USENIX WOOT 2026に採録されました．
  title: "Practical Attacks on a Decentralized Secure Messenger Session"

• 2026年4月: ICSS研究会で発表した以下の論文がICSS研究賞を受賞しました．
  title: "LINEグループ通信に対するTamarin-Proverを用いた安全性自動検証"

• 2025年10月: 論文が国際会議 ICISC2025に採録されました．
  title: "Comprehensive Security Analysis of End-to-End Encryption in LINE"

• 2025年9月: 論文が国際論文誌 IACR Communications in Cryptology (CiC2025) に採録されました．
  title: "Exploring SHA Instructions and Its Application to AES-based Schemes"

• 2025年7月: 論文が国際会議 ACISP2025に採録されました．
  title: "Strengthening Key Scheduling of AES-256 with Minimal Software Modifications"

• 2024年12月: 論文が国際会議 INDOCRYPT2024に採録されました．
  title: "ASURA: An Efficient Large-State Tweakable Block Cipher for ARM Environment"

• 2025年-現在: 大阪大学大学院情報科学研究科 特任研究員

国内会議

• 田中 篤，五十部 孝典，"IoT向けHW/SW同時最適化ブロック暗号の設計"，2026年 コンピュータセキュリティシンポジウム (CSS2026)

• 山下 勇斗，木村 隼人，田中 篤，五十部 孝典，"One Ciphertext, Two Views: Discordのグループ通話における映像注入攻撃"，2026年 コンピュータセキュリティシンポジウム (CSS2026)

• 荒井 研一，鈴木 幸太郎，田中 篤，中林 美郷，花谷 嘉一，三重野 武彦，山本 光晴，吉田 真紀，米山 一樹，"数理的技法による情報セキュリティの2025年度後半&2026年度前半の研究動向"，日本応用数理学会 2026年度 年会

• 松本 岳大，田中 篤，山下 恭祐，伊藤 竜馬，五十部 孝典，"LINEグループ通信に対するTamarin-Proverを用いた安全性自動検証"，2026年 情報通信システムセキュリティ研究会 (ICSS研究会2026)

• 橋場 慧志，田中 篤，五十部 孝典，"Formal Verification of SFrame with Tamarin"，2026年 情報通信システムセキュリティ研究会 (ICSS研究会2026)

• 中川 大輔，田中 篤，木村 隼人，五十部 孝典，"スマートフォン版マイナンバーカードにおけるカード代替電磁的記録発行プロトコルの安全性評価"，2026年 暗号と情報セキュリティシンポジウム (SCIS2026)

• 漆垣 皓大，木村 隼人，田中 篤，五十部 孝典，"匿名メッセンジャーアプリSessionに対するなりすまし攻撃"，2026年 暗号と情報セキュリティシンポジウム (SCIS2026)

• 山下 勇斗，田中 篤，木村 隼人，五十部 孝典，"鍵コミット性欠如を利用したDiscordのエンドツーエンド暗号化に対する不正音声再生攻撃"，2026年 暗号と情報セキュリティシンポジウム (SCIS2026)

• 白矢 琢朗，石川 達也， 伊藤 竜馬，Mostafizar Rahman，阪本 光星，田中 篤，内海 潮音，五十部 孝典，"SHA Extensionsを用いたAES-basedハッシュ関数の拡張"，2025年 コンピュータセキュリティシンポジウム (CSS2025).

• 中川 大輔，田中 篤，木村 隼人，山下 恭祐，伊藤 竜馬，五十部 孝典，"なりすまし攻撃に対するThreemaハンドシェイクプロトコルの形式検証"，2025年 コンピュータセキュリティシンポジウム (CSS2025)

• 松本 岳大，田中 篤，山下 恭祐，伊藤 竜馬，五十部 孝典，"LINE Letter Sealingに対するTamarin-Proverを用いた網羅的安全性検証"，2025年 コンピュータセキュリティシンポジウム (CSS2025)

• 名古屋 太一，田中 篤，白矢 琢朗，石川 達也，五十部 孝典，"AESベースのラウンド関数の改良とその評価"，2025年 暗号と情報セキュリティシンポジウム (SCIS2025).

• 川上 翔馬，田中 篤，石川達也，髙 和真，五十部 孝典，"関連鍵差分攻撃に耐性をもつAES-256の鍵スケジュールの設計"，2025年 暗号と情報セキュリティシンポジウム (SCIS2025).

• 田中 篤，芝 廉太朗，阪本 光星，五十部 孝典，"ARM NEONに基づいた高速なラージブロック暗号の設計"，2024年 暗号と情報セキュリティシンポジウム(SCIS 2024).