Ahana A Majeed (2021) “Formal Verification Techniques for Cryptographic Protocols in Addressing Security and Efficiency in Post Quantum Computing Paradigms”, INTERNATIONAL JOURNAL OF ENGINEERING AND TECHNOLOGY RESEARCH & DEVELOPMENT, 2(1), pp. 1–6. Available at: https://ijetrd.com/index.php/ijetrd/article/view/IJETRD_02_01_001 (Accessed: 30 April 2025).