- Specification and Verification of Side Channel Declassification
- Assumptions and Guarantees for Compositional Noninterference Heiko Mantel1, David Sands2, and Henning Sudbrock1
- A Parallel Programming Style and Its Algebra of Programs
- Lightweight Self-Protecting JavaScript Phu H. Phung
- From Exponential to Polynomial-time Security Typing via Principal Types
- On Flow-Sensitive Security Types Sebastian Hunt
- Dimensions and Principles of Declassification In Proceedings of the IEEE Computer Security Foundations Work-
- In 19th IEEE Computer Security Foundations Workshop, CSFW'06, Venice 2006. Noninterference in the presence of non-opaque pointers
- Security Policy Enforcement in the OSGi Framework Using Aspect-Oriented Programming
- All Secrets Great and Small Delphine Demange1
- Lambda Calculi and Linear Speedups David Sands, Jorgen Gustavsson, and Andrew Moran
- Safe Wrappers and Sane Policies for Self Protecting JavaScript
- Timing Aware Information Flow Security for a JavaCard-like Bytecode
- Towards Operational Semantics of Contexts in Functional Languages
- Towards a Core Calculus for Dynamic Flow Policies Niklas Broberg David Sands
- Formal Methods in Security Engineering Friday 3rd November 2006, Johnson Center, George Mason University
- Implementing Erasure Policies Using Taint Analysis
- Paralocks Role-Based Information Flow Control and Beyond Niklas Broberg
- Flow-Sensitive Semantics for Dynamic Information Flow Policies Niklas Broberg
- Technical Report no. 2009-01 All Secrets Great and Small1
- Just Forget It The Semantics and Enforcement of Information Erasure
- Towards a Core Calculus for Dynamic Flow Policies Niklas Broberg and David Sands
- On Confidentiality and Algorithms Programming Under the Constraints of Noninterference
- Probabilistic Noninterference for Multi-threaded Programs Andrei Sabelfeld David Sands
- ELSEVIER Theoretical Computer Science 192 (I 998) 233-258 Theoretical
- From Gamma to CBS: Rening multiset transformations with broadcasting processes
- Improvement Theory and its Applications
- Science of Computer Programming 46 (2003) 99135 www.elsevier.com/locate/scico
- EPTCS ??, 20??, pp. 115, doi:10.4204/EPTCS.??.?? c Del Tedesco & Sands
- A Semantic Hierarchy for Erasure Policies Filippo Del Tedesco1
