Authentication Primitives and Their Compilation.

Martn Abadi, Cdric Fournet, Georges Gonthier

Browse the full POPL paper archive.