The SLam Calculus: Programming with Secrecy and Integrity (1998)

by Nevin Heintze, Jon G Riecke
Venue:Conference record of POPL '98: the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages