Sciweavers

3 search results - page 1 / 1
» The SLam Calculus: Programming with Secrecy and Integrity
Sort
View
POPL
1998
ACM
13 years 8 months ago
The SLam Calculus: Programming with Secrecy and Integrity
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...
Nevin Heintze, Jon G. Riecke
LISP
2002
81views more  LISP 2002»
13 years 4 months ago
Secure Information Flow via Linear Continuations
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
Steve Zdancewic, Andrew C. Myers
TLDI
2009
ACM
108views Formal Methods» more  TLDI 2009»
14 years 1 months ago
Secure compilation of a multi-tier web language
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
Ioannis G. Baltopoulos, Andrew D. Gordon