Vol. 2 No. 1 (2021): International Journal of Engineering and Technology Research and Development (IJETRD)

Articles

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

  Ahana A Majeed (Author)

  1–6

  • PDF