Analyzing security protocols with secrecy types and logic programs.

Martn Abadi, Bruno Blanchet

Browse the full POPL paper archive.