Computational Secrecy by Typing for the Pi Calculus.

Martn Abadi, Ricardo Corin, Cdric Fournet

Browse the full APLAS paper archive.