Project information
- Tag: C# | Parallel & Concurrent Programming | Process Analysis Toolkit (PAT) | CSP Simulator | Diffie-Hellman Key Exchange
Constructed a CSP concurrent model to simulate and verify the properties of Diffie-Hellman Key Exchange
Constructed several attack models (with increasing attack capabilities) to simulate the damage that attackers can do to the key exchange
Analyzed limitations such as Logjam Attack and proposed several ways to counter them or limit the damage