Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol.

Wei Wang, Dongyao Ji

Browse the full FORTE paper archive.