Literature
The lectures and slides cover the course topics and try to be self-content (you will find even some source code in them). The content of the course is strongly based on the research results in the following papers.
Marco Vassena and Alejandro Russo. On Formalizing Information-Flow Control Libraries. In Proc. of ACM Workshop on Programming Languages and Analysis for Security, PLAS 2016.
Deian Stefan, Alejandro Russo, John Mitchell, and David Mazières. Flexible Dynamic Information Flow Control in Presence of Exceptions. Journal of Functional Programming, JFP, Cambridge University Press, 2016.
Alejandro Russo. Functional pearl: Two can keep a secret, if one of them uses Haskell. In Proc. of the ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, ACM.
Deian Stefan, Alejandro Russo, David Mazières, and John C. Mitchell. Disjunction category labels. In Proc. of the Nordic Conference on Information Security Technology for Applications, NordSec’11. Springer-Verlag, 2012.
Complimentary reading
Students can read the following papers to get more details to certain topics in the course.
- Hunt, S., Askarov, A., Sabelfeld, A. & Sands, D. (2008). Termination-insensitive noninterference leaks more than just a bit. In the Proceedings of the European Symposium on Research in Computer Security, Oct 2008, Malaga, Spain.