Formal Verification of Type Flaw Attacks in Security Protocols.

Benjamin W. Long

Browse the full APSEC paper archive.