The Ssl/Tls Protocol
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
On the Security of the PKCS#1 V1.5 Signature Scheme
On the Security of the PKCS#1 v1.5 Signature Scheme Tibor Jager1 Saqib A. Kakvi1 Alexander May2 September 10, 2018 1Department of Computer Science, Universitat¨ Paderborn ftibor.jager,[email protected] 2Hortz Gortz¨ Institute, Ruhr Universitat¨ Bochum [email protected] Abstract The RSA PKCS#1 v1.5 signature algorithm is the most widely used digital signature scheme in practice. Its two main strengths are its extreme simplicity, which makes it very easy to implement, and that verification of signatures is significantly faster than for DSA or ECDSA. Despite the huge practical importance of RSA PKCS#1 v1.5 signatures, providing formal evidence for their security based on plausible cryptographic hardness assumptions has turned out to be very difficult. Therefore the most recent version of PKCS#1 (RFC 8017) even recommends a replacement the more complex and less efficient scheme RSA-PSS, as it is provably secure and therefore considered more robust. The main obstacle is that RSA PKCS#1 v1.5 signatures use a deterministic padding scheme, which makes standard proof techniques not applicable. We introduce a new technique that enables the first security proof for RSA-PKCS#1 v1.5 signatures. We prove full existential unforgeability against adaptive chosen-message attacks (EUF-CMA) under the standard RSA assumption. Furthermore, we give a tight proof under the Phi-Hiding assumption. These proofs are in the random oracle model and the parameters deviate slightly from the standard use, because we require a larger output length of the hash function. However, we also show how RSA-PKCS#1 v1.5 signatures can be instantiated in practice such that our security proofs apply. -
The Rocky Road To
The Rocky Road to Hanno Böck https://hboeck.de @hanno 1 Transport Layer Security A protocol to create an encrypted and authenticated layer around other protocols 2 TLS 1.3 was published in August 2018 3 How did we get there? 4 In 1995 Netscape introduced Secure Socket Layer or SSL version 2 5 In 1996 it was followed up with SSL version 3 6 In 1999 the IETF took over and renamed it to TLS 7 SSL/TLS History 1995: SSL 2 1996: SSL 3 1999: TLS 1.0 2006: TLS 1.1 2008: TLS 1.2 2018: TLS 1.3 8 Vulnerabilities C C S 9 Padding Oracles in CBC mode 10 Plaintext Plaintext Plaintext Initialization Vector (IV) block cipher block cipher block cipher Key Key Key encryption encryption encryption Ciphertext Ciphertext Ciphertext WhiteTimberwolf, Wikimedia Commons, Public Domain 11 CBC Padding for Block Ciphers (AES) Encryption of data blocks means we have to fill up space 12 CBC in TLS MAC-then-Pad-then-Encrypt 13 Valid Padding 00 01 01 02 02 02 03 03 03 03 ... 14 We assume a situation where the attacker can see whether the padding is valid 15 Ciphertext Ciphertext block cipher block cipher Key Key decryption decryption Initialization Vector (IV) ?== 00 -> padding valid Plaintext Plaintext Attacker wants to decrypt Attacker manipulates / XOR with guess 16 Ciphertext Ciphertext block cipher block cipher Key Key decryption decryption Initialization Vector (IV) ?== 01 01 -> padding valid Plaintext Plaintext Attacker knows Attacker manipulates to 01 Attacker wants to know Attacker manipulates to guess 01 17 2002: Serge Vaudenay discovers Padding Oracle Vaudenay, -
An Analysis of the Transport Layer Security Protocol
An Analysis of the Transport Layer Security Protocol Thyla van der Merwe Thesis submitted to the University of London for the degree of Doctor of Philosophy Information Security Group School of Mathematics and Information Security Royal Holloway, University of London 2018 Declaration These doctoral studies were conducted under the supervision of Professor Kenneth G. Paterson. The work presented in this thesis is the result of original research I conducted, in collabo- ration with others, whilst enrolled in the School of Mathematics and Information Security as a candidate for the degree of Doctor of Philosophy. This work has not been submitted for any other degree or award in any other university or educational establishment. Thyla van der Merwe March, 2018 2 Dedication To my niece, Emma. May you always believe in your abilities, no matter what anybody tells you, and may you draw on the strength of our family for support, as I have done (especially your Gogo, she’s one tough lady). “If you’re going through hell, keep going.” Winston Churchill 3 Abstract The Transport Layer Security (TLS) protocol is the de facto means for securing commu- nications on the World Wide Web. Originally developed by Netscape Communications, the protocol came under the auspices of the Internet Engineering Task Force (IETF) in the mid 1990s and today serves millions, if not billions, of users on a daily basis. The ubiquitous nature of the protocol has, especially in recent years, made the protocol an attractive target for security researchers. Since the release of TLS 1.2 in 2008, the protocol has suffered many high-profile, and increasingly practical, attacks. -
Return of Bleichenbacher's Oracle Threat (ROBOT)
Return Of Bleichenbacher's Oracle Threat (ROBOT) https://robotattack.org/ Hanno B¨ock , Juraj Somorovsky1,2, and Craig Young3 1Ruhr-Universit¨atBochum 2Hackmanit GmbH 3Tripwire VERT December 12, 2017 Abstract Many web hosts are still vulnerable to one of the oldest attacks against RSA in TLS. We show that Bleichenbacher's RSA vulnerability from 1998 is still very prevalent in the Internet and affects almost a third of the top 100 domains in the Alexa Top 1 Million list, among them Facebook and Paypal. We identified vulnerable products from at least eight differ- ent vendors and open source projects, among them F5, Citrix, Radware, Cisco, Erlang, Bouncy Castle, and WolfSSL. Further we have demon- strated practical exploitation by signing a message with the private key of facebook.com's HTTPS certificate. Finally, we discuss countermeasures against Bleichenbacher attacks in TLS and recommend to deprecate the RSA encryption key exchange in TLS and the PKCS #1 v1.5 standard. This work is licensed under a Creative Commons \Attribution 3.0 Unported" license. 1 Contents 1 Introduction 3 2 TLS-RSA key exchange 4 3 Bleichenbacher's attack 5 3.1 RSA PKCS #1 v1.5 . 5 3.2 Attack intuition . 5 3.3 Attack performance and oracle types . 6 3.4 Creating a signature with Bleichenbacher's attack . 6 4 Scanning methodology 7 4.1 Differently formatted PKCS #1 v1.5 messages . 7 4.2 Different TLS protocol flows . 9 4.3 Cipher suites . 9 4.4 Monitoring different server responses . 9 4.5 Performing a server scan . 10 4.6 More variations . -
On the Security of TLS 1.3 and QUIC Against Weaknesses in PKCS#1 V1.5 Encryption
On the Security of TLS 1.3 and QUIC Against Weaknesses in PKCS#1 v1.5 Encryption Tibor Jager Jörg Schwenk Juraj Somorovsky Horst Görtz Institute Horst Görtz Institute Horst Görtz Institute Ruhr University Bochum Ruhr University Bochum Ruhr University Bochum [email protected] [email protected] [email protected] ABSTRACT Categories and Subject Descriptors Encrypted key transport with RSA-PKCS#1 v1.5 is the most com- C.2.2 [Computer-Communication Networks]: Network Proto- monly deployed key exchange method in all current versions of the cols; K.4.4 [Computers and Society]: Electronic Commerce – Transport Layer Security (TLS) protocol, including the most re- Security cent version 1.2. However, it has several well-known issues, most importantly that it does not provide forward secrecy, and that it is prone to side channel attacks that may enable an attacker to learn Keywords the session key used for a TLS session. A long history of attacks Cross-protocol attack; chosen-ciphertext attack; TLS shows that RSA-PKCS#1 v1.5 is extremely difficult to implement securely. The current draft of TLS version 1.3 dispenses with this encrypted key transport method. But is this sufficient to protect 1. INTRODUCTION against weaknesses in RSA-PKCS#1 v1.5? We describe attacks which transfer the potential weakness of TLS and PKCS#1 v1.5 encryption. Transport layer security (TLS) prior TLS versions to two recently proposed protocols that do not is the most important security protocol on the Internet. It is very even support PKCS#1 v1.5 encryption, namely Google’s QUIC pro- flexible, as it allows two communicating parties to negotiate the tocol and TLS 1.3. -
20 Years of Bleichenbacher's Attack
Royal Holloway University of London ISG MSc Information Security thesis series 2019 20 years of Bleichenbacher’s attack Authors Gage Boyle, MSc (Royal Holloway, 2018) Kenny Paterson, ISG, Royal Holloway Abstract The HTTPS protocol is a vital tool in safeguarding the security of our personal and business lives. This protocol ensures that important data such as financial information, intellectual prop- erty and login credentials are encrypted and integrity protected as they travel across the Inter- net. Ultimately this means that a malicious observer is unable to obtain, view, use or sell this important data. To both technical and non-technical users, the presence of “HTTPS” at the start of the website URL will provide enough confidence to consider entering sensitive information such as bank or credit card details. However, in this article we will explain how even websites owned by the most reputable organisations may be exposed to a 20-year-old attack if HTTPS is not properly implemented. Around 33% of internet servers were found to be vulnerable to this attack in 2016, and both Facebook and PayPal remained vulnerable in 2017. Furthermore, related weaknesses in HTTPS implementations are still regularly being discovered. As a result, a secure TLS im- plementation is imperative for all organisations looking to maintain their business reputations and sensitive intellectual property. a aThis article is published online by Computer Weekly as part of the 2019 Royal Holloway informa- tion security thesis series https://www.computerweekly.com/ehandbook/The-exploitation-of-flaws-in-the- HTTPS-protocol. It is based on an MSc dissertation written as part of the MSc in Information Secu- rity at the ISG, Royal Holloway, University of London. -
Finding and Exploiting Most-Significant-Bit
Raccoon Attack: Finding and Exploiting Most-Significant-Bit-Oracles in TLS-DH(E) Robert Merget1, Marcus Brinkmann1, Nimrod Aviram2, Juraj Somorovsky3, Johannes Mittmann4, and Jörg Schwenk1 1Ruhr University Bochum 2School of Computer Science, Tel Aviv University 3Paderborn University 4Bundesamt für Sicherheit in der Informationstechnik (BSI), Germany Abstract Diffie-Hellman key exchange (DHKE) is a widely adopted method for exchanging cryptographic key material in real- world protocols like TLS-DH(E). Past attacks on TLS-DH(E) focused on weak parameter choices or missing parameter validation. The confidentiality of the computed DH share, the premaster secret, was never questioned; DHKE is used as a generic method to avoid the security pitfalls of TLS-RSA. We show that due to a subtle issue in the key derivation of all TLS-DH(E) cipher suites in versions up to TLS 1.2, the premaster secret of a TLS-DH(E) session may, under Figure 1: Raccoon attack overview. The attacker passively certain circumstances, be leaked to an adversary. Our main observes the public DH shares of a client-server connection result is a novel side-channel attack, named Raccoon attack, and uses an oracle in the TLS key derivation to calculate which exploits a timing vulnerability in TLS-DH(E), leaking the shared DH secret using a solver for the Hidden Number the most significant bits of the shared Diffie-Hellman secret. Problem. The root cause for this side channel is that the TLS standard encourages non-constant-time processing of the DH secret. If the server reuses ephemeral keys, this side channel may gb mod p to A, while A sends its share ga mod p to B. -
Differentially Analyzing Side-Channel Traces for Detecting SSL/TLS Vulnerabilities in Secure Enclaves
Stacco: Differentially Analyzing Side-Channel Traces for Detecting SSL/TLS Vulnerabilities in Secure Enclaves Yuan Xiao Mengyuan Li The Ohio State University The Ohio State University [email protected] [email protected] Sanchuan Chen Yinqian Zhang The Ohio State University The Ohio State University [email protected] [email protected] ABSTRACT queries, respectively, to break one block of AES ciphertext. Em- Intel Software Guard Extension (SGX) offers software applications pirical evaluation suggests these man-in-the-kernel attacks can be a shielded execution environment, dubbed enclave, to protect their completed within one or two hours. confidentiality and integrity from malicious operating systems. As processors with this extended feature become commercially available, many new software applications are developed to enrich 1 INTRODUCTION to the SGX-enabled software ecosystem. One important primitive Software applications’ security heavily depends on the security of for these applications is a secure communication channel between the underlying system software. In traditional computing environ- the enclave and a remote trusted party. The SSL/TLS protocol, which ments, if the operating system is compromised, the security of the is the de facto standard for protecting transport-layer network applications it supports is also compromised. Therefore, the trusted communications, has been broadly regarded a natural choice for computing base (TCB) of software applications include not only such purposes. However, in this paper, we show that the marriage the software itself but also the underlying system software and between SGX and SSL may not be a smooth sailing. hardware. Particularly, we consider a category of side-channel attacks To reduce the TCB of some applications that contain sensitive against SSL/TLS implementations in secure enclaves, which we call code and data, academic researchers have proposed many software the control-flow inference attacks. -
Revisiting SSL/TLS Implementations: New Bleichenbacher Side
Revisiting SSL/TLS Implementations: New Bleichenbacher Side Channels and Attacks Christopher Meyer, Juraj Somorovsky, Eugen Weiss, and Jörg Schwenk, Ruhr-University Bochum; Sebastian Schinzel, Münster University of Applied Sciences; Erik Tews, Technische Universität Darmstadt https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/meyer This paper is included in the Proceedings of the 23rd USENIX Security Symposium. August 20–22, 2014 • San Diego, CA ISBN 978-1-931971-15-7 Open access to the Proceedings of the 23rd USENIX Security Symposium is sponsored by USENIX Revisiting SSL/TLS Implementations: New Bleichenbacher Side Channels and Attacks Christopher Meyer, Juraj Somorovsky, Eugen Weiss, Jorg¨ Schwenk Horst Gortz¨ Institute for IT-Security, Ruhr-University Bochum < christopher.meyer, juraj.somorovsky, eugen.weiss, joerg.schwenk @rub.de> { } Sebastian Schinzel <[email protected]> Department of Computer Science, Munster¨ University of Applied Sciences Erik Tews <[email protected]> European Center for Security and Privacy by Design,Technische Universitat¨ Darmstadt Abstract TLS impl. Side channel Queries & Efficiency Queries Time As a countermeasure against the famous Bleichenbacher OpenSSL timing O(240) n.a. attack on RSA based ciphersuites, all TLS RFCs starting JSSE error message 177,000 12 h from RFC 2246 (TLS 1.0) propose “to treat incorrectly JSSE timing 18,600 19.5 h formatted messages in a manner indistinguishable from Cavium timing 7371 41 h correctly formatted RSA blocks”. In this paper we show