Atsushi Tanaka

Specially Appointed Researcher at
Cryptographic Engineering Laboratory
Graduate School of Information Science and Technology, The University of Osaka (Japan)

Laboratory Website

E-mail：a.tanaka(at)ist(dot)osaka-u(dot)ac(dot)jp

Research Interests

Design and Analysis of Symmetric-Key Cryptography
- Wide block ciphers for Beyond 5G/6G
- Lightweight block ciphers for IoT
Security Analysis of Cryptographic Protocols
- Security analysis of End-to-End Encryption systems
- Security analysis of Massive IoT systems
- Formal verification using the Tamarin-Prover

News

October 2026: I will give an invited talk at the Formal Verification and Security Workshop (FWS2026), held in conjunction with CSS2026．
title: TBD
September 2026: Our paper was accepted to IEEE S&P 2027．
title: "Sowing Discord: Exploiting the Lack of Key Commitment in E2EE Group RTC"
June 2026: Our paper was accepted to USENIX WOOT 2026．
title: "Practical Attacks on a Decentralized Secure Messenger Session"
April 2026: Our paper presented at the ICSS Technical Committee received the ICSS Research Award．
title: "Automated Security Verification of LINE Group Communication Using Tamarin Prover"
October 2025: Our paper was accepted to ICISC2025．
title: "Comprehensive Security Analysis of End-to-End Encryption in LINE"
September 2025: Our paper was accepted to IACR Communications in Cryptology (CiC2025) ．
title: "Exploring SHA Instructions and Its Application to AES-based Schemes"
July 2025: Our paper was accepted to ACISP2025．
title: "Strengthening Key Scheduling of AES-256 with Minimal Software Modifications"
December 2024: Our paper was accepted to INDOCRYPT2024．
title: "ASURA: An Efficient Large-State Tweakable Block Cipher for ARM Environment"

Employment

2025-Present: Specially Appointed Researcher, Graduate School of Information Science and Technology, The University of Osaka.

Publications

International Conferences

Hayato Yamashita, Hayato Kimura, Atsushi Tanaka, Takanori Isobe, "Sowing Discord: Exploiting the Lack of Key Commitment in E2EE Group RTC",
IEEE Symposium on Security and Privacy (IEEE S&P 2027).
Kota Urushigaki, Hayato Kimura, Atsushi Tanaka, Takanori Isobe, "Practical Attacks on a Decentralized Secure Messenger Session",
USENIX WOOT 2026.
Takehiro Matsumoto, Atsushi Tanaka, Kyosuke Yamashita, Ryoma Ito, Takanori Isobe, "Comprehensive Security Analysis of End-to-End Encryption in LINE",
International Conference on Information Security and Cryptology (ICISC2025).
Shoma Kawakami, Kazuma Taka, Atsushi Tanaka, Tatsuya Ishikawa, Takanori Isobe, "Strengthening Key Scheduling of AES-256 with Minimal Software Modifications", Australasian Conference on Information Security and Privacy (ACISP2025).
Atsushi Tanaka, Rentaro Shiba, Kosei Sakamoto, Mostafizar Rahman, Takuro Shiraya, Takanori Isobe, "ASURA: An Efficient Large-State Tweakable Block Cipher for ARM Environment", INDOCRYPT2024.

International Journals

Takuro Shiraya, Subhadeep Banik, Tatsuya Ishikawa, Ryoma Ito, Mostafizar Rahman, Kosei Sakamoto, Atsushi Tanaka, Shion Utsumi and Takanori Isobe, "Exploring SHA Instructions and Its Application to AES-based Schemes", IACR Communications in Cryptology (CiC2025).

Domestic Conferences

please refer to the Japanese version of this page

Page updated

Google Sites

Report abuse