AA

Ahana A

Mutual Connections
Loading...
S9-042025-2811683

Send Message

No file chosen
1 Publications
0 Followers
0 Following
0 Questions

👤 About

Skills & Expertise

No skills added yet.

Research Interests

No research interests added yet.

Connect With Me

📚 Publications (1)

Formal Verification Techniques for Cryptographic Protocols in Addressing Security and Efficiency in Post Quantum Computing Paradigms
Journal: International Journal of Engineering and Technology Research and Development • February 2021
The rapid evolution of quantum computing threatens to undermine traditional cryptographic protocols, necessitating the adoption of post-quantum cryptography (PQC). This paper explores formal verificat...
Formal verification Cryptographic protocols Post-quantum cryptography Quantum computing Security Efficiency
dd