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): 1–6. https://ijetrd.com/index.php/ijetrd/article/view/IJETRD_02_01_001.