On the Security of the TLS Protocol: A Systematic Analysis

No abstract is available for this paper.

• Publication year

  2013

• Venue

  IACR Cryptology ePrint Archive

• Publication date

  2013-08-18

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-40041-4_24
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Lucky Thirteen: Breaking the TLS and DTLS Record Protocols

  2013influential reference
• On the Security of RC4 in TLS

  2013cited by this paper
• On the Security of RC4 in TLS and WPA

  2013cited by this paper
• On the Security of the TLS Protocol

  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
• Implementing TLS with Verified Cryptographic Security

  2013cited by this paper
• On Symmetric Encryption with Distinguishable Decryption Failures

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

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

  2012cited by this paper
• Why eve and mallory love android: an analysis of android SSL (in)security

  2012cited by this paper
• The most dangerous code in the world: validating SSL certificates in non-browser software

  2012cited by this paper
• Verified Cryptographic Implementations for TLS

  2012cited by this paper
• Plaintext-Recovery Attacks Against Datagram TLS

  2012cited by this paper
• Efficient Padding Oracle Attacks on Cryptographic Hardware

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

  2012influential reference
• A Security Pattern for the Transport Layer Security (TLS) Protocol

  2012influential reference
• Transport Layer Security (TLS)

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

  2011influential reference
• Transport Layer Security (TLS) Renegotiation Indication Extension

  2010cited by this paper
• The Transport Layer Security (TLS) Protocol Version 1.2

  2008influential reference
• A Modular Security Analysis of the TLS Handshake Protocol

  2008influential reference
• Secure Hybrid Encryption from Weakened Key Encapsulation

  2007cited by this paper
• Network Working Group Elliptic Curve Cryptography (ecc) Cipher Suites for Transport Layer Security (tls)

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

  2006cited by this paper
• Datagram Transport Layer Security

  2006cited by this paper
• A modular correctness proof of IEEE 802.11i and TLS

  2005cited by this paper
• The Design and Implementation of Datagram TLS

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

  2004cited by this paper
• Attacking RSA-Based Sessions in SSL/TLS

  2003cited by this paper
• Internet Key Exchange

  2003cited by this paper
• Password Interception in a SSL/TLS Channel

  2003cited by this paper
• A Theoretical Treatment of Related-Key Attacks: RKA-PRPs, RKA-PRFs, and Applications

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

  2002cited by this paper
• Universally Composable Notions of Key Exchange and Secure Channels

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

  2002influential reference
• Security Flaws Induced by CBC Padding - Applications to SSL, IPSEC, WTLS

  2002cited by this paper
• Universal Hash Proofs and a Paradigm for Adaptive Chosen Ciphertext Secure Public-Key Encryption

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

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

  2001cited by this paper
• REACT: Rapid Enhanced-Security Asymmetric Cryptosystem Transform

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

  2001cited by this paper
• On Formal Models for Secure Key Exchange

  1999cited by this paper
• The Internet Key Exchange (IKE)

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

  1998influential reference
• Inductive analysis of the Internet protocol TLS

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

  1998cited by this paper
• Number-theoretic constructions of efficient pseudo-random functions

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

  1996cited by this paper
• Entity Authentication and Key Distribution

  1993cited by this paper

• Post-Quantum Cryptographic Analysis of SSH

  2025cites this paper
• Trust and Reputation in Data Sharing: A Survey

  2025cites this paper
• APCC: Enabling Reliable IPv6 Covert Communication with Aliased Prefixes

  2025cites this paper
• Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL

  2025cites this paper
• E2E-AKMA: An End-to-End Secure and Privacy-Enhancing AKMA Protocol Against the Anchor Function Compromise

  2025cites this paper
• TCP-Awareness Augmented Robust TLS Traffic Classification: A Hybrid Deep Learning Approach

  2025cites this paper
• Verifiable decentralized identity-based meta-computing in Industrial Internet of Things (IIoT)

  2025cites this paper
• WireWatch: Measuring the Security of Proprietary Network Encryption in the Global Android Ecosystem

  2025cites this paper
• SEMSO: A Secure and Efficient Multi-Data Source Blockchain Oracle

  2024cites this paper
• End-to-Same-End Encryption: Modularly Augmenting an App with an Efficient, Portable, and Blind Cloud Storage

  2024cites this paper
• The Not-So-Silent Type: Vulnerabilities in Chinese IME Keyboards' Network Security Protocols

  2024cites this paper
• Enhancing security in financial transactions: a novel blockchain-based federated learning framework for detecting counterfeit data in fintech

  2024cites this paper
• Energy Profiling and Comparison of TLS Protocols for Embedded Devices: Experimental Study

  2024cites this paper
• A Quantum-Safe Software-Defined Deterministic Internet of Things (IoT) with Hardware-Enforced Cyber-Security for Critical Infrastructures

  2024cites this paper
• Practical Privacy-Preserving Scheme With Fault Tolerance for Smart Grids

  2024cites this paper
• Performance Analysis of Kyber-DNA and RSA-Base64 Algorithms in Symmetric Key-Exchange Protocol

  2024cites this paper
• Terrapin Attack: Breaking SSH Channel Integrity By Sequence Number Manipulation

  2023cites this paper
• Guardians of Trust: Navigating Data Security in AIOps through Vendor Partnerships

  2023cites this paper
• A 334 μW 0.158 mm2 ASIC for Post-Quantum Key-Encapsulation Mechanism Saber With Low-Latency Striding Toom–Cook Multiplication

  2023cites this paper
• Lightweight Authentication of Web Data via Garble-Then-Prove

  2023influential citation
• Decentralized Inverse Transparency With Blockchain

  2023cites this paper
• On Optimal Tightness for Key Exchange with Full Forward Secrecy via Key Confirmation

  2023influential citation
• A 334μW 0.158mm2 ASIC for Post-Quantum Key-Encapsulation Mechanism Saber with Low-latency Striding Toom-Cook Multiplication Authors Version

  2023cites this paper
• BETA-FL: Blockchain-Event Triggered Asynchronous Federated Learning in Supply Chains

  2023cites this paper
• ENiD: An Encrypted Web Pages Traffic Identification Based on Web Visiting Behavior

  2022cites this paper
• An e ffi cient post - quantum KEM from CSIDH

  2022cites this paper
• U.S. Security Policy: The Dual-Use Regulation of Cryptography and its Effects on Surveillance

  2022cites this paper
• On End-to-End Encryption

  2022cites this paper
• PARFAIT: Privacy-preserving, secure, and low-delay service access in fog-enabled IoT ecosystems

  2022cites this paper
• Themis: A Secure Decentralized Framework for Microservice Interaction in Serverless Computing

  2022cites this paper
• Post-quantum Anonymous One-Sided Authenticated Key Exchange Without Random Oracles

  2022cites this paper
• On the Concrete Security of TLS 1.3 PSK Mode

  2022influential citation
• A Robust Two-Factor User Authentication Scheme-Based ECC for Smart Home in IoT

  2022cites this paper
• A Survey of the Main Security Issues and Solutions for the SDN Architecture

  2021cites this paper
• On the Tight Security of TLS 1.3: Theoretically Sound Cryptographic Parameters for Real-World Deployments

  2021influential citation
• Identity-Based Identity-Concealed Authenticated Key Exchange

  2021cites this paper
• A Framework for Managing Device Association and Offloading the Transport Layer’s Security Overhead of WiFi Device to Access Points

  2021cites this paper
• GDPR-Compliant Use of Blockchain for Secure Usage Logs

  2021cites this paper
• Smart Accounts for Decentralized Governance on Smart Cities

  2021cites this paper
• Secure Communication Channel Establishment: TLS 1.3 (over TCP Fast Open) versus QUIC

  2021influential citation
• DTLS with Post-quantum Secure Source Authentication and Message Integrity

  2021cites this paper
• Group Time-based One-time Passwords and its Application to Efficient Privacy-Preserving Proof of Location

  2021cites this paper
• Identity-based authenticated encryption with identity confidentiality

  2021cites this paper
• mechanisms for secure interaction of control and measuring devices

  2020cites this paper
• CCA Updatable Encryption Against Malicious Re-encryption Attacks

  2020cites this paper
• A Secure and Efficient Group Key Management Scheme for Clusters of String Inverters

  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
• Towards Post-Quantum Security for Signal's X3DH Handshake

  2020cites this paper
• STOP: A Location Spoofing Resistant Vehicle Inspection System

  2020cites this paper
• Facilitando a Distribuição Segura de Dados de Contexto em Aplicações de Internet das Coisas Móveis

  2020cites this paper
• Lattice-Based Cryptosystems: A Design Perspective

  2020cites this paper
• Ad-Hoc, Mobile, and Wireless Networks: 19th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2020, Bari, Italy, October 19–21, 2020, Proceedings

  2020cites this paper
• CCA-Secure (Puncturable) KEMs from Encryption with Non-Negligible Decryption Errors

  2020influential citation
• Attribute-Based Keyword Search over Hierarchical Data in Cloud Computing

  2020cites this paper
• Practical Isogeny-Based Key-exchange with Optimal Tightness

  2020cites this paper
• Computer Security – ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I

  2020influential citation
• Short-Lived Forward-Secure Delegation for TLS

  2020cites this paper
• A Cryptographic Analysis of the TLS 1.3 Handshake Protocol

  2020cites this paper
• Identity-Based Authenticated Encryption with Identity Confidentiality

  2020cites this paper
• An Identity-matching Process to Strengthen Trust in Federated-identity Architectures

  2020cites this paper
• Raccoon Attack: Finding and Exploiting Most-Significant-Bit-Oracles in TLS-DH(E)

  2020cites this paper
• Applied Games for smart phenotypic data acquisition - challenges of a web platform with digital gamified testing instruments for online-based large scale phenotyping

  2020cites this paper
• Post-Quantum TLS Without Handshake Signatures

  2020influential citation
• Exploiting Dissent: Towards Fuzzing-Based Differential Black-Box Testing of TLS Implementations

  2020cites this paper
• LiKe: Lightweight Certificateless Key Agreement for Secure IoT Communications

  2020cites this paper
• Inspecting TLS Anytime Anywhere: A New Approach to TLS Interception

  2020cites this paper
• Protocols for Authentication and Key Establishment

  2020cites this paper
• Benchmarking Post-Quantum Cryptography in TLS

  2020cites this paper
• Designing Reverse Firewalls for the Real World

  2020cites this paper
• Key Exchanges

  2020cites this paper
• Identity-Based Higncryption May 16 , 2019

  2019cites this paper
• Highly Efficient Key Exchange Protocols with Optimal Tightness - Enabling real-world deployments with theoretically sound parameters

  2019cites this paper
• Extended 3-Party ACCE and Application to LoRaWAN 1.1

  2019influential citation
• The Role of the Adversary Model in Applied Security Research

  2019influential citation
• Formal Methods and CyberSecurity

  2019cites this paper
• Secure Communication Channel Establishment: TLS 1.3 (over TCP Fast Open) vs. QUIC

  2019cites this paper
• STOP: Secure Transport lOcation Proofs for vehicle inspections

  2019cites this paper
• Session Resumption Protocols and Efficient Forward Security for TLS 1.3 0-RTT

  2019influential citation
• Detecting Proper SSL/TLS Implementation with Usage Patterns

  2019cites this paper
• Secure Tunnels for Constrained Environments

  2019cites this paper
• Identity-Based Higncryption

  2019cites this paper
• Investigating the Multi-Ciphersuite and Backwards-Compatibility Security of the Upcoming TLS 1.3

  2019influential citation
• Challenges in Proving Post-Quantum Key Exchanges Based on Key Encapsulation Mechanisms

  2019cites this paper
• Future-Proofing Key Exchange Protocols

  2019cites this paper
• New Transport Layer Security using Metaheuristics and New Key Exchange Protocol

  2019influential citation
• Operation STOP: secure itinerary verification for smart vehicle inspections

  2019cites this paper
• Modelling Anti-Phishing Authentication Ceremonies

  2019cites this paper
• State Separation for Code-Based Game-Playing Proofs

  2018cites this paper
• Idealizations of Practical Cryptographic Building Blocks

  2018cites this paper
• Balanceamento entre segurança e desempenho na comunicação entre os planos de controle e dados em redes definidas por software

  2018cites this paper
• A Modern Solution for Identifying, Monitoring, and Selecting Configurations for SSL/TLS Deployment

  2018cites this paper
• Revisiting OAKE in the eCK Security Model

  2018cites this paper
• Practical and Tightly-Secure Digital Signatures and Authenticated Key Exchange

  2018cites this paper
• A Cryptographic Look at Multi-party Channels

  2018cites this paper
• DroidKex: Fast extraction of ephemeral TLS keys from the memory of Android apps

  2018cites this paper
• A Formal Treatment of Accountable Proxying Over TLS

  2018cites this paper
• Implementation and Analysis of QUIC for MQTT

  2018cites this paper
• Testing TLS using planning-based combinatorial methods and execution framework

  2018cites this paper
• Bluff Forwarding: A Practical Protocol for Delivering Refreshed Symmetric Keys on a Multi-Path Big Data Ingestion System

  2018cites this paper