Deduction Soundness: Prove One, Get Five for Free

Deduction Soundness: Prove One, Get Five for Free. Florian Böhl, Véronique Cortier, and Bogdan Warinschi. Cryptology ePrint Archive, Report 2013/457, 2013.

Download

[HTML]

Abstract

(unavailable)

BibTeX

@misc{cryptoeprint:2013:457,
    author = {Florian B\"ohl and V\'eronique Cortier and Bogdan Warinschi},
    title = {Deduction Soundness: Prove One, Get Five for Free},
    howpublished = {Cryptology ePrint Archive, Report 2013/457},
    year = {2013},
}