AGVI - Automatic Generation, Verification, and Implementation of Security Protocols.

Dawn Xiaodong Song, Adrian Perrig, Doantam Phan

Browse the full CAV paper archive.