Checking Probabilistic Noninterference Using JOANA | SPP 1496 - RS3

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

G. Snelting, Giffhorn, D., Graf, J., Hammer, C., Hecker, M., Mohr, M., and Wasserrab, D., “Checking Probabilistic Noninterference Using JOANA”, it - Information Technology, 2014.