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

D. Giffhorn and Snelting, G., “A New Algorithm for Low-Deterministic Security”, International Journal on Information Security, 2014.