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

J. Breitner, Graf, J., Hecker, M., Mohr, M., and Snelling, G., “On Improvements Of Low-Deterministic Security”, in Proceedings of the 5th International Conference on Principles of Security and Trust (POST), 2016.