From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap.

Alessandro Armando, Giancarlo Pellegrino, Roberto Carbone, Alessio Merlo, Davide Balzarotti

Browse the full TAP paper archive.