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