Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols.

Dominique Bolignano

Browse the full CAV paper archive.