AHANA A MAJEED. Formal Verification Techniques for Cryptographic Protocols in Addressing Security and Efficiency in Post Quantum Computing Paradigms. INTERNATIONAL JOURNAL OF ENGINEERING AND TECHNOLOGY RESEARCH & DEVELOPMENT, [S. l.], v. 2, n. 1, p. 1–6, 2021. Disponível em: https://ijetrd.com/index.php/ijetrd/article/view/IJETRD_02_01_001.. Acesso em: 30 apr. 2025.