Authenticated Confidential Channel Establishment and the Security of TLS-DHE

No abstract is available for this paper.

• Publication year

  2017

• Venue

  Journal of Cryptology

• Publication date

  2017-01-18

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/s00145-016-9248-2
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Authenticated Confidential Channel Establishment and the Security of TLS-DHE

  2017cited by this paper
• Circuit-extension handshakes for Tor achieving forward secrecy in a quantum world

  2016cited by this paper
• DROWN: Breaking TLS Using SSLv2

  2016cited by this paper
• The Multi-user Security of Authenticated Encryption: AES-GCM in TLS 1.3

  2016cited by this paper
• A Cryptographic Analysis of the TLS 1.3 draft-10 Full and Pre-shared Key Handshake Protocol

  2016cited by this paper
• The OPTLS Protocol and TLS 1.3

  2016cited by this paper
• Safely Exporting Keys from Secure Channels - On the Security of EAP-TLS and TLS Key Exporters

  2016cited by this paper
• Lucky Microseconds: A Timing Attack on Amazon's s2n Implementation of TLS

  2016cited by this paper
• On the Security of TLS 1.3 and QUIC Against Weaknesses in PKCS#1 v1.5 Encryption

  2015cited by this paper
• A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates

  2015cited by this paper
• How Secure and Quick is QUIC? Provable Security and Performance Analyses

  2015cited by this paper
• Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer

  2015cited by this paper
• A Messy State of the Union: Taming the Composite State Machines of TLS

  2015cited by this paper
• Practical Invalid Curve Attacks on TLS-ECDH

  2015cited by this paper
• (De-)Constructing TLS 1.3

  2015cited by this paper
• Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS

  2014cited by this paper
• On the Security of the Pre-shared Key Ciphersuites of TLS

  2014influential reference
• Multi-Ciphersuite Security of the Secure Shell (SSH) Protocol

  2014cited by this paper
• (De-)Constructing TLS

  2014cited by this paper
• Proving the TLS Handshake Secure (as it is)

  2014influential reference
• This POODLE Bites: Exploiting The SSL 3.0 Fallback

  2014cited by this paper
• An analysis of the EMV channel establishment protocol

  2013cited by this paper
• On the Security of the TLS Protocol: A Systematic Analysis

  2013influential reference
• Less is more: relaxed yet composable security notions for key exchange

  2013cited by this paper
• On the security of TLS renegotiation

  2013cited by this paper
• On the Security of TLS-DH and TLS-RSA in the Standard Model

  2013influential reference
• Implementing TLS with Verified Cryptographic Security

  2013cited by this paper
• Lucky Thirteen: Breaking the TLS and DTLS Record Protocols

  2013cited by this paper
• A cross-protocol attack on the TLS protocol

  2012cited by this paper
• On the Security of TLS-DHE in the Standard Model

  2012cited by this paper
• Tag Size Does Matter: Attacks and Proofs for the TLS Record Protocol

  2011influential reference
• Composition theorems without pre-established session identifiers

  2011cited by this paper
• Computer-Aided Security Proofs for the Working Cryptographer

  2011cited by this paper
• The TLS Handshake Protocol: A Modular Analysis

  2010cited by this paper
• On the soundness of authenticate-then-encrypt: formalizing the malleability of symmetric encryption

  2010cited by this paper
• Instantiability of RSA-OAEP Under Chosen-Plaintext Attack

  2010cited by this paper
• Hash Function Combiners in TLS and SSL

  2010cited by this paper
• Session-state Reveal Is Stronger Than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange Protocol

  2009cited by this paper
• ASPIER: An Automated Framework for Verifying Security Protocol Implementations

  2009influential reference
• On the Security of Padding-Based Encryption Schemes - or - Why We Cannot Prove OAEP Secure in the Standard Model

  2009cited by this paper
• HMAC is a randomness extractor and applications to TLS

  2008cited by this paper
• Spot Me if You Can: Uncovering Spoken Phrases in Encrypted VoIP Conversations

  2008cited by this paper
• A Modular Security Analysis of the TLS Handshake Protocol

  2008cited by this paper
• Cryptographically verified implementations for TLS

  2008cited by this paper
• Universally Composable Security Analysis of TLS

  2008cited by this paper
• Cross-Site Request Forgeries : Exploitation and Prevention

  2008cited by this paper
• The Transport Layer Security (TLS) Protocol Version 1.3

  2008cited by this paper
• The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs

  2006cited by this paper
• A Challenging but Feasible Blockwise-Adaptive Chosen-Plaintext Attack on SSL

  2006cited by this paper
• Stronger Security of Authenticated Key Exchange

  2006cited by this paper
• US Secure Hash Algorithms (SHA and HMAC-SHA)

  2006cited by this paper
• New Proofs for NMAC and HMAC: Security without Collision Resistance

  2006cited by this paper
• The Transport Layer Security (TLS) Protocol Version 1.1

  2006cited by this paper
• Equational Approach to Formal Analysis of TLS

  2005cited by this paper
• Examining Indistinguishability-Based Proof Models for Key Establishment Protocols

  2005cited by this paper
• HMQV: A High-Performance Secure Diffie-Hellman Protocol

  2005cited by this paper
• The Vulnerability of SSL to Chosen Plaintext Attack

  2004cited by this paper
• Breaking and provably repairing the SSH authenticated encryption scheme: A case study of the Encode-then-Encrypt-and-MAC paradigm

  2004cited by this paper
• Protocol Initialization for the Framework of Universal Composability

  2004cited by this paper
• The Security of DSA and ECDSA

  2003cited by this paper
• Protocols for Authentication and Key Establishment

  2003cited by this paper
• Statistical identification of encrypted Web browsing traffic

  2002cited by this paper
• Security Analysis of IKE's Signature-Based Key-Exchange Protocol

  2002cited by this paper
• Authenticated encryption in SSH: provably fixing the SSH binary packet protocol

  2002cited by this paper
• On the Security of RSA Encryption in TLS

  2002cited by this paper
• US Secure Hash Algorithm 1 (SHA1)

  2001cited by this paper
• Universally composable security: a new paradigm for cryptographic protocols

  2001cited by this paper
• The Elliptic Curve Digital Signature Algorithm (ECDSA)

  2001cited by this paper
• Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels

  2001cited by this paper
• The Order of Encryption and Authentication for Protecting Communications (or: How Secure Is SSL?)

  2001cited by this paper
• The Oracle Diffie-Hellman Assumptions and an Analysis of DHIES

  2001cited by this paper
• New Attacks on PKCS#1 v1.5 Encryption

  2000cited by this paper
• Authenticated Key Exchange Secure against Dictionary Attacks

  2000cited by this paper
• Authenticated Encryption: Relations among Notions and Analysis of the Generic Composition Paradigm

  2000cited by this paper
• The TLS Protocol Version 1.0

  1999cited by this paper
• Finite-State Analysis of Security Protocols

  1998cited by this paper
• Inductive analysis of the Internet protocol TLS

  1998cited by this paper
• PKCS #1: RSA Encryption Version 1.5

  1998cited by this paper
• Chosen Ciphertext Attacks Against Protocols Based on the RSA Encryption Standard PKCS #1

  1998cited by this paper
• Key Agreement Protocols and Their Security Analysis

  1997cited by this paper
• Analysis of the SSL 3.0 protocol

  1996cited by this paper
• On Provable Security for Digital Signature Algorithms

  1996cited by this paper
• Entity Authentication and Key Distribution

  1993influential reference
• The MD4 Message-Digest Algorithm

  1990cited by this paper
• On the security of public key protocols

  1981cited by this paper

• ZETROS: A zero-trust IoT network security framework using distributed blacklisting, trust scoring and smart contracts

  2025cites this paper
• Poster: PQ Noise Explorer

  2025cites this paper
• Protocols and Formal Models for Delegated Authorisation with Server-Side Secrecy

  2025cites this paper
• Dynamic Group Time-Based One-Time Passwords

  2024cites this paper
• YouChoose: A Lightweight Anonymous Proof of Account Ownership

  2024cites this paper
• Signed (Group) Diffie–Hellman Key Exchange with Tight Security

  2022cites this paper
• Post Quantum Noise

  2022cites this paper
• Signed Diffie-Hellman Key Exchange with Tight Security

  2021cites this paper
• Key-schedule Security for the TLS 1.3 Standard

  2021cites this paper
• When PKI (finally) met Provable Security

  2021cites this paper
• HTTPS Contribution in Web Application Security: A Systematic Literature Review

  2020cites this paper
• Enhanced constrained application protocol for secured medical data transmission model for internet of things

  2020cites this paper
• T0RTT: Non-Interactive Immediate Forward-Secret Single-Pass Circuit Construction

  2020cites this paper
• Flexible Authenticated and Confidential Channel Establishment (fACCE): Analyzing the Noise Protocol Framework

  2020cites this paper
• Construction and Security Analysis of 0-RTT Protocols

  2020cites this paper
• Provably Secure PKI Schemes

  2020influential citation
• Practical and Tightly-Secure Digital Signatures and Authenticated Key Exchange

  2018cites this paper
• Enhanced DTLS with CoAP-based authentication scheme for the internet of things in healthcare application

  2017cites this paper
• Scaling Policy Assignment in Containerized Environment

  year unknowncites this paper