Cited by 4
Authenticated Key Agreement Protocol Based on Provable Secure Cryptographic Functions

Sigma Key Agreement Protocol for e-Banking System
Donatas Bartkus, Ausrys Kilciauskas, Eligijus Sakalauskas
Book:  Communications in Computer and Information Science (Information and Software Technologies) Volume 1283 (2020), p. 140
2022 5th International Conference on Contemporary Computing and Informatics (IC3I)
Esha Jain, Jonika Lamba
Conference:  (2022), p. 1267
FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT
Yuan Fei, Huibiao Zhu, Jiaqi Yin
Journal:  Formal Aspects of Computing Volume 35, Issue 4 (2023), p. 1
GTM approach towards engineering a features-oriented evaluation framework for secure authentication in IIoT environment
Yasir Ali, Habib Ullah Khan
Journal:  Computers & Industrial Engineering Volume 168 (2022), p. 108119