DMCA

Validation of Cryptographic Protocols by Efficient Automated Testing

by Sigrid Giirgens , Ren Peralta , Ren Peralta