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

R. Küsters, Truderung, T., and Vogt, A., “Proving Coercion-Resistance of Scantegrity II”, in Proceedings of the 12th International Conference on Information and Communications Security (ICICS 2010), 2010.