Cryptology ePrint Archive: Report 2013/457
Available versions in chronological order
20130727:011225 (posted 27-Jul-2013 01:12:25 UTC)
Deduction Soundness: Prove One, Get Five for Free
Florian Böhl and Véronique Cortier and Bogdan Warinschi
Original publication (with major differences): Proc. ACM CCS 2013, to appear.
[
Cryptology ePrint archive
]