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

C. Hammer, “Experiences with PDG-based IFC”, in Proceedings of the 2nd International Symposium on Engineering Secure Software and Systems (ESSoS 2010), 2010.