Formal Verification Techniques for Cryptographic Protocols in Addressing Security and Efficiency in Post Quantum Computing Paradigms

Abstract

The rapid evolution of quantum computing threatens to undermine traditional cryptographic protocols, necessitating the adoption of post-quantum cryptography (PQC). This paper explores formal verification techniques for cryptographic protocols to ensure both security and efficiency in the post-quantum era. We analyze existing methodologies, focusing on their ability to model, verify, and validate PQC algorithms and protocols. Leveraging a literature review of prominent research, we evaluate the effectiveness of formal verification frameworks, highlighting gaps and potential future directions. Our findings underscore the importance of integrating automated tools and frameworks to strengthen cryptographic resilience against quantum adversaries.