Backes, Michael Group M. Backes, Max Planck Institute for Software Systems, Max Planck Society;
Backes, M., Hofheinz, D., & Unruh, D. (2009). CoSP: a general framework for computational soundness proofs. In CCS'09: Proceedings of the 16th ACM Conference on Computer and Communications Security (pp. 66-78). New York, NY: ACM.