Login / Signup
Thet Wai Mon
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Rfid Tags
Authentication Protocol
Model Checker
Formal Verification
Top Venues
J. Vis. Lang. Comput.
SEKE
DMSVIVA
PeerJ Comput. Sci.
</>
Publications
</>
Duong Dinh Tran
,
Thet Wai Mon
,
Kazuhiro Ogata
Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores.
PeerJ Comput. Sci.
9 (2023)
Thet Wai Mon
,
Dang Duy Bui
,
Duong Dinh Tran
,
Canh Minh Do
,
Kazuhiro Ogata
Graphical Animations of the NS(L)PK Authentication Protocols.
J. Vis. Lang. Comput.
2021 (2) (2021)
Thet Wai Mon
,
Dang Duy Bui
,
Duong Dinh Tran
,
Kazuhiro Ogata
Graphical Animations of the NSLPK Authentication Protocol (S).
DMSVIVA
(2021)
Thet Wai Mon
,
Shuho Fujii
,
Duong Dinh Tran
,
Kazuhiro Ogata
Formal verification of IFF and NSLPK authentication protocols with CiMPG (S).
SEKE
(2021)