Ahana A Majeed. Formal Verification Techniques for Cryptographic Protocols in Addressing Security and Efficiency in Post Quantum Computing Paradigms. IJETRD [Internet]. 2021 Feb. 6 [cited 2025 Apr. 30];2(1):1–6. Available from: https://ijetrd.com/index.php/ijetrd/article/view/IJETRD_02_01_001