Graphical Animations of the NSLPK Authentication Protocol (S). - Thet Wai Mon; Dang Duy Bui; Duong Dinh Tran; Kazuhiro Ogata 001 (DMSVIVA, 2021)

Formal verification of IFF and NSLPK authentication protocols with CiMPG (S). - Thet Wai Mon; Shuho Fujii; Duong Dinh Tran; Kazuhiro Ogata 001 (SEKE, 2021)

Graphical Animations of the NS(L)PK Authentication Protocols. - Thet Wai Mon; Dang Duy Bui; Duong Dinh Tran; Canh Minh Do; Kazuhiro Ogata 001 (J. Vis. Lang. Comput., 2021)

Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores. - Duong Dinh Tran; Thet Wai Mon; Kazuhiro Ogata 001 (PeerJ Comput. Sci., 2023)