Browsing NTNU Open by Author "Kabra, Adhirath"
Now showing items 1-1 of 1
-
Automatic Security Analysis of Lightweight Authentication and Key Exchange Protocols
Kabra, Adhirath (Master thesis, 2022)Perfect Forward Secrecy (PFS) is vital in contemporary authenticated key exchange (AKE) protocols. Typically attained using public key cryptography, achieving forward secrecy is infeasible for communication in resource ...