Authenticated confidential channel establishment and the security of TLS-DHE
type: Item
instance of: scholarly article
title: Authenticated confidential channel establishment and the security of TLS-DHE
zbMATH Open document ID: 1386.94095
author: Tibor Jager
author: Florian Kohlar
author: Sven Schäge
author: Jörg Schwenk
published in: Journal of Cryptology
publication date: 2018-02-15T00:00:00Z
Mathematics Subject Classification ID: 94A62
zbMATH DE Number: 6839574
zbMATH Keywords: authenticated key exchange
zbMATH Keywords: authenticated confidential channel establishment (ACCE)
zbMATH Keywords: ssl
zbMATH Keywords: TLS-DHE
describes a project that uses: HMQV
describes a project that uses: EasyCrypt
describes a project that uses: NAXOS
describes a project that uses: ASPIER
MaRDI profile type: Publication
full work available at URL: s00145-016-9248-2
OpenAlex ID: W2571675338
cites work: Q2724434
cites work: Lucky Microseconds: A Timing Attack on Amazon’s s2n Implementation of TLS
cites work: New Proofs for NMAC and HMAC: Security Without Collision-Resistance
cites work: Breaking and provably repairing the SSH authenticated encryption scheme
cites work: Proving the TLS Handshake Secure (As It Is)
cites work: Computer-Aided Security Proofs for the Working Cryptographer
cites work: Safely Exporting Keys from Secure Channels
cites work: Q4249316
cites work: Protocols for authentification and key establishment
cites work: Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer
cites work: Q2707451
cites work: Authenticated encryption: relations among notions and analysis of the generic composition paradigm
cites work: Q3374905
cites work: Q4341751
cites work: The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
cites work: On the security of public key protocols
cites work: The Multi-user Security of Authenticated Encryption: AES-GCM in TLS 1.3
cites work: Key agreement protocols and their security analysis
cites work: Examining Indistinguishability-Based Proof Models for Key Establishment Protocols
cites work: Q3374921
cites work: Q2778861
cites work: Q4409115
cites work: Applied cryptography and network security. 7th international conference, ACNS 2009, Paris-Rocquencourt, France, June 2--5, 2009. Proceedings
cites work: A cryptographic analysis of the TLS 1.3 handshake protocol
cites work: Hash Function Combiners in TLS and SSL
cites work: Universally Composable Security Analysis of TLS
cites work: Q4409114
cites work: On the Security of TLS-DHE in the Standard Model
cites work: Practical Invalid Curve Attacks on TLS-ECDH
cites work: (De-)Constructing TLS 1.3
cites work: Instantiability of RSA-OAEP under Chosen-Plaintext Attack
cites work: On the Security of Padding-Based Encryption Schemes – or – Why We Cannot Prove OAEP Secure in the Standard Model
cites work: On the Security of the TLS Protocol: A Systematic Analysis
cites work: Q4783733
cites work: HMQV: A High-Performance Secure Diffie-Hellman Protocol
cites work: Stronger Security of Authenticated Key Exchange
cites work: On the Security of the Pre-shared Key Ciphersuites of TLS
cites work: A Modular Security Analysis of the TLS Handshake Protocol
cites work: The TLS handshake protocol: A modular analysis
cites work: Tag Size Does Matter: Attacks and Proofs for the TLS Record Protocol
cites work: The Security of DSA and ECDSA
DOI: 10.1007/S00145-016-9248-2
description: scientific article; zbMATH DE number 6839574