Automatic Detection and Demonstrator Generation for Information Flow Leaks in Object-Oriented Programs | SPP 1496 - RS3

Reliably Secure Software Systems (RS³) –
DFG Priority Programme 1496

Q. Huy Do, Bubel, R., and Hähnle, R., “Automatic Detection and Demonstrator Generation for Information Flow Leaks in Object-Oriented Programs”, Computers & Security, vol. 67, 2017.