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

R. Accorsi and Wonnemann, C., “Strong non-leak guarantees for workflow models”, in Proceedings of the 26th ACM Symposium on Applied Computing (SAC 2011), 2011.