Protocol modelling and verification of security algorithms using CPSA (Cryptographic Protocol Shapes Analyzer)
Reference link to CPSA code and documentation : MITRE CPSA
The following protocols were modelled and analyzed:
As part of a semster course with collaboration with InsureHub project, the 5G-EAP-TLS protocol initial handshake was modelled and analyzed (Spring 2021 UTD MSCS)
- EAP TLS v1.2
- EAP TLS v1.3