Cryptology ePrint Archive: Report 2013/457

Available versions in chronological order


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 ]