Mobile values, new names, and secure communication.

Martn Abadi, Cdric Fournet

Browse the full POPL paper archive.