🎒 NammaProjects

Latest engineering & master's projects — with source code, deployment guide, PPT and full training support.

← Back to all projects

MTech Masters SP-958

Authentication Protocol Analysis with Formal Verification

Formally verify an authentication protocol and demonstrate the flaws found. You will learn formal methods, protocol design and security proof practice.

₹26,999

What's included

Buy with PayPal Ask a question