A paper authored by Professor Kazuhiro Ogata and Assistant Professor Minh Canh Do of the Computing Science Research Area, entitled "Parallel Maude-NPA for Cryptographic Protocol Analysis", has been selected as a Featured Article in IEEE Transactions on Dependable and Secure Computing (IEEE TDSC), a prestigious international journal. In addition, the paper has also been ranked as a Trending Article, attracting significant attention from the global research community.
IEEE Transactions on Dependable and Secure Computing is one of the world's leading international journals in the fields of information security and dependable computing. A Featured Article showcases research recognized for its outstanding academic significance and impact. Trending Articles highlight papers that have gained notable attention through readership and visibility in the research community.

■Research Overview
Cryptographic protocols play a vital role in ensuring the security of internet communications, and it is essential to verify robustness against vulnerabilities during the design stage. This research enables faster and more efficient security analysis by parallelizing a tool for analyzing cryptographic protocols. As a result, even complex protocols can be verified within a practical timeframe. This work represents a pioneering achievement in the parallelization of formal analysis tools. Furthermore, the study demonstrates the applicability of the proposed method to the verification of next-generation cryptographic protocols designed for the post-quantum era.

■Paper Information
Journal：IEEE Transactions on Dependable and Secure Computing
Title：Parallel Maude-NPA for Cryptographic Protocol Analysis
Authors：Canh Minh Do, Adrian Riesco, Santiago Escobar, Kazuhiro Ogata
Publication Date：July 16, 2025
DOI：https://ieeexplore.ieee.org/document/11081832
Press Release：https://www.jaist.ac.jp/english/whatsnew/press/2025/08/07-1.html

December 23, 2025