Authentication primitives and their compilation (2000)

by Martín Abadi, Cédric Fournet, Georges Gonthier
Venue:In Proceedings of POPL ’00