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

T. Bauereiß, Gritti, A. Pesenti, Popescu, A., and Raimondi, F., “CoSMed: A Confidentiality-Verified Social Media Platform”, in Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP), 2016.