Verification of Information Flow Properties of Java Programs without Approximations | SPP 1496 - RS3

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

C. Scheben and Schmitt, P., “Verification of Information Flow Properties of Java Programs without Approximations”, in Proceedings of the Formal Verification of Object-Oriented Software (FoVeOOS 2011), 2012.