Ahana A Majeed, “Formal Verification Techniques for Cryptographic Protocols in Addressing Security and Efficiency in Post Quantum Computing Paradigms”, IJETRD, vol. 2, no. 1, pp. 1–6, Feb. 2021, Accessed: Jun. 27, 2026. [Online]. Available: https://ijetrd.com/index.php/ijetrd/article/view/IJETRD_02_01_001