Thet Wai Mon

According to our database, Thet Wai Mon authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

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

PeerJ Comput. Sci., 2023

2021

Graphical Animations of the NS(L)PK Authentication Protocols.

Thet Wai Mon, Dang Duy Bui, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata

J. Vis. Lang. Comput., 2021

Formal verification of IFF and NSLPK authentication protocols with CiMPG (S).

Thet Wai Mon, Shuho Fujii, Duong Dinh Tran, Kazuhiro Ogata

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Graphical Animations of the NSLPK Authentication Protocol (S).

Thet Wai Mon, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata

Proceedings of the 27th International DMS Conference on Visualization and Visual Languages, 2021