The slam calculus: programming with secrecy and integrity (1998)

by Nevin Heintze , Jon G. Riecke
Venue:In POPL ’98: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:234 - 1 self

Document Versions

The slam calculus: programming with secrecy and integrity –Nevin Heintze, Jon G. Riecke — 1998 — In POPL ’98: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
The SLam Calculus: Programming with Secrecy and Integrity –Nevin Heintze, Jon G. Riecke — 1998 — In Proc. 25th ACM Symp. on Principles of Programming Languages (POPL
The SLam Calculus: Programming with Secrecy and Integrity –Nevin Heintze, Jon G. Riecke — 1998