Skip to content

The SLam Calculus: Programming with Secrecy and Integrity.

Nevin Heintze, Jon G. Riecke

VenueA*POPL
Year1998
ProceedingsPOPL

Browse the full POPL paper archive.