Cryptology ePrint Archive: Report 2006/047

Available versions in chronological order

20060210:213635 (posted 10-Feb-2006 21:36:35 UTC): Cryptographically Sound Theorem Proving; Christoph Sprenger and Michael Backes and David Basin and Birgit Pfitzmann and Michael Waidner

[ Cryptology ePrint archive ]