Publications SlaLoM project
Relevant background publications
- M. Huisman, H.-C. Blondeel. Secure information flow for multi-threaded programs. Manuscript.
- H.-C. Blondeel. Security by logic: characterizing non-interference in temporal logic. Masterh's thesis, KTH Sweden, 2007. [.pdf]
- M. Huisman, P.Worah, and K.Sunesen. A temporal logic characterisation of observational determinism. In 19th IEEE Computer Security Foundations Workshop. IEEE Computer Society, July 2006. [.pdf]
- G. Barthe, P. D'Argenio, and T. Rezk. Secure Information Flow by Self-Composition. In R. Foccardi, editor, Proceedings of CSFW'04, pages 100-114, Pacific Grove,USA, June 2004. IEEE Press. [.ps.gz ]