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

M. Ochoa, “Security Guarantees and Evolution: From models to reality”, in Electronic Proceedings of the 1st ESSoS Doctoral Symposium (ESSoS-DS 2012), 2012.