Secure Information Flow and CPS
Authors:
- 23 March 2001
- book chapter
- Published by Springer Nature
- p. 46-61
Abstract
No abstract availableKeywords
This publication has 29 references indexed in Scilit:
- Syntactic accidents in program analysis2000
- Transforming out timing leaks2000
- A classical linear λ-calculusTheoretical Computer Science, 1999
- Typed memory management in a calculus of capabilities1999
- The essence of compiling with continuations1993
- Computational interpretations of linear logicTheoretical Computer Science, 1993
- Representing Control: a Study of the CPS TransformationMathematical Structures in Computer Science, 1992
- Linear continuations1992
- Linear logicTheoretical Computer Science, 1987
- Certification of programs for secure information flowCommunications of the ACM, 1977