Ahana A Majeed. Formal Verification Techniques for Cryptographic Protocols in Addressing Security and Efficiency in Post Quantum Computing Paradigms. IJETRD. 2021;2(1):1–6. Accessed April 30, 2025. https://ijetrd.com/index.php/ijetrd/article/view/IJETRD_02_01_001