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

C. Hammer, “Efficient Algorithms for Control Closures”, in 1st International Workshop on Interference and Dependence (ID 2013), 2013.