Browsing University of Waterloo by Author "Sabour, Negar"
Now showing items 1-1 of 1
-
Static Verification of an Implementation of 5G-AKA
Sabour, Negar (University of Waterloo, 2023-04-24)Computer-aided cryptography offers a variety of tools that are essential for ensuring the security of cryptographic protocols. These tools can assist in designing the protocol, verifying its correctness during implementation, ...