Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

A. Bichhawat, Rajani, V., Garg, D., and Hammer, C., “Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis”, in Proceedings of the 9th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2014), 2014.