Cryptology ePrint Archive: Report 2005/101

Available versions in chronological order

20050405:072645 (posted 05-Apr-2005 07:26:45 UTC): Soundness and Completeness of Formal Logics of Symmetric Encryption; Gergei Bana; Publication Info: PhD Dissertation, University of Pennsylvania, 2004

[ Cryptology ePrint archive ]