Cryptology ePrint Archive: Report 2014/182

Available versions in chronological order

20140309:201546 (posted 09-Mar-2014 20:15:46 UTC): Proving the TLS Handshake Secure (as it is); Karthikeyan Bhargavan and Cédric Fournet and Markulf Kohlweiss and Alfredo Pironti and Pierre-Yves Strub and Santiago Zanella-Béguelin
20140606:001841 (posted 06-Jun-2014 00:18:41 UTC): Proving the TLS Handshake Secure (as it is); Karthikeyan Bhargavan and Cédric Fournet and Markulf Kohlweiss and Alfredo Pironti and Pierre-Yves Strub and Santiago Zanella-Béguelin
20140606:062250 (posted 06-Jun-2014 06:22:50 UTC): Proving the TLS Handshake Secure (as it is); Karthikeyan Bhargavan and Cédric Fournet and Markulf Kohlweiss and Alfredo Pironti and Pierre-Yves Strub and Santiago Zanella-Béguelin
20140615:113258 (posted 15-Jun-2014 11:32:58 UTC): Proving the TLS Handshake Secure (as it is); Karthikeyan Bhargavan and Cédric Fournet and Markulf Kohlweiss and Alfredo Pironti and Pierre-Yves Strub and Santiago Zanella-Béguelin; Original publication (with major differences): IACR-CRYPTO-2014
20140731:141126 (posted 31-Jul-2014 14:11:26 UTC): Proving the TLS Handshake Secure (as it is); Karthikeyan Bhargavan and Cédric Fournet and Markulf Kohlweiss and Alfredo Pironti and Pierre-Yves Strub and Santiago Zanella-Béguelin; Original publication (with major differences): IACR-CRYPTO-2014
20140731:144342 (posted 31-Jul-2014 14:43:42 UTC): Proving the TLS Handshake Secure (as it is); Karthikeyan Bhargavan and Cédric Fournet and Markulf Kohlweiss and Alfredo Pironti and Pierre-Yves Strub and Santiago Zanella-Béguelin; Original publication (with major differences): IACR-CRYPTO-2013
20140812:080609 (posted 12-Aug-2014 08:06:09 UTC): Proving the TLS Handshake Secure (as it is); Karthikeyan Bhargavan and Cédric Fournet and Markulf Kohlweiss and Alfredo Pironti and Pierre-Yves Strub and Santiago Zanella-Béguelin; Original publication (with major differences): IACR-CRYPTO-2014

[ Cryptology ePrint archive ]