Integrating Verification, Testing, and Learning for Cryptographic Protocols.

Martijn Oostdijk, Vlad Rusu, Jan Tretmans, Ren G. de Vries, Tim A. C. Willemse

Browse the full IFM paper archive.