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.