Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems.

Adi Sosnovich, Orna Grumberg, Gabi Nakibly

Browse the full CAV paper archive.