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

Q. Huy Do, Bubel, R., and Hähnle, R., “Exploit Generation for Information Flow Leaks in Object-Oriented Programs”, in Proceedings of the 30th International Information Security and Privacy Conference (IFIP SEC), 2015.