Demonstrating the Necessity of Model Generation in Security Protocol Verification.

Mariapia Raimondo, Stefano Marrone, Simona Bernardi, Angelo Palladino

Browse the full ETFA paper archive.