Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study | SPP 1496 - RS3

Reliably Secure Software Systems (RS³) –
DFG Priority Programme 1496

R. Küsters, Truderung, T., and Vogt, A., “Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study”, in Proceedings of the 32nd IEEE Symposium on Security and Privacy (S{&}P 2011), 2011.