Validation of Cryptographic Protocols by Efficient Automated Testing.

Sigrid Grgens, Ren Peralta

Browse the full FlAIRS paper archive.