Cryptology ePrint Archive: Report 2013/604

Available versions in chronological order

20130923:033123 (posted 23-Sep-2013 03:31:23 UTC): Modelling Time, or A Step Towards Reduction-based Security Proofs for OTP and Kerberos; Jörg Schwenk

[ Cryptology ePrint archive ]