Atsushi Tanaka (田中 篤)

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

  • • ソフトウェアで高速なBeyond 5G向け暗号の設計 / 解析

• 暗号プロトコルの解析

  • • 実社会システムの安全性評価

    • Tamarin Proverを用いた形式検証

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

• 2025年9月: 論文が国際論文誌 IACR Communications in Cryptologyに採録されました．
  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"

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

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

国内会議

• 白矢 琢朗，石川 達也， 伊藤 竜馬，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).