Secure Implementation of Channel Abstractions.

Martn Abadi, Cdric Fournet, Georges Gonthier

Browse the full LICS paper archive.