Sunday, January 28, 2024

Scanning For Padding Oracles

As you might have heard, we recently got our paper on padding oracle attacks accepted to the USENIX Security Conference. In this paper, we describe and evaluate a scanning methodology with which we found several padding oracle vulnerabilities in devices from various vendors. In total, we found that 1.83% of the Alexa Top 1 Million have padding oracle vulnerabilities.

To test whether a server is vulnerable, we specified different padding oracle vectors which we send to the system under test, using different cipher suites and protocol versions. If the server does not behave identically (on both the TLS and TCP layers), we consider it to be vulnerable to a padding oracle attack, since it is leaking information about the plaintext via behavior differences. Depending on the responses to such padding oracle vectors, one can estimate which implementation is responsible for the vulnerability. We contacted quite a few website owners and tried to cooperate with them, to find out which vendors and TLS stacks are responsible for the identified vulnerabilities. You can find our current disclosure status on this issue on https://github.com/RUB-NDS/TLS-Padding-Oracles.
We are currently in contact with other vendors to fix the remaining vulnerabilities, but the some of the rare (in terms of the number of affected hosts) vulnerabilities are currently not attributed. To fix the remaining vulnerabilities, we ask for your assistance to help get rid of this issue. For this purpose, we integrated a standalone version of our padding oracle evaluation tool into our TLS-Scanner (v.2.7) project. This tool allows you (among other things) to evaluate if a specific server is vulnerable.

When the tool detects a vulnerability, it tries to attribute the vulnerability to a specific vendor or CVE. If we already know of the vulnerability of the server you scanned, the tool will print its details. If the tool does not have a description of the vulnerability in its database, it will ask you to notify us about the vulnerable server, such that we can notify the vendor and get the device fixed. To be clear: the tool never sends any data to us - you have the choice of whether to notify us (and what details to include). There is a chance that the tool's attribution is also mistaken, that is, the tool lists a vendor for your host, but you know for sure that you do not use an implementation by this vendor. Please contact us in such cases as well.

How to use the Tool

First, you need to grab hold of the tool. There are 3 ways to get your hands dirty: pre-compiled, self-compiled or Docker. We provide a pre-compiled version of the tool since the compilation process can get quite messy if you are not familiar with java and maven. You can directly download the resulting project here. However, if you also want to play around with the code, you have to compile everything yourself.

Building the TLS-Scanner

For this, you will need (Git), maven (sudo apt-get install maven), OpenJDK-8  (I can guarantee that this version works, other versions might work as well, have not tested it).

You will need to get TLS-Attacker 2.9 (if you do not already have it):
Now we can clone and install the TLS-Scanner

Docker

We also provide a Dockerfile, which lets you run the scanner directly

Getting Started


If you start the TLS-Scanner you should be greeted by a usage info, similar to the one below:

 or


This should give you an overview of the supported command line flags. The only really required one is the -connect flag (similar to OpenSSL and TLS-Attacker), with which you specify which host to scan. The most basic command is therefore:

Your output may look something like this:

By default, TLS-Scanner will run single-threaded. In such cases the scanning will take a while; just how long it will take depends on your server configuration. The scanner also supports multi-threading, which drastically improves the performance. There are two parameters to play around with, -threads, which controls how many different "probes" are executed in parallel, and -aggressive , which controls how many handshakes can be executed simultaneously. If you want the fastest results the following parameters are usually a good choice:

But lets get back to the results of the Scanner. Currently the Scanner supports a bunch of well known tests, like supported ciphersuites or protocol versions. These are very similar to what you may be used to from other scanners like ssllabs or testssl.sh.

Padding Oracles

The main advantage of our scanner is the ability to scan for padding oracle vulnerabilities (which is probably why you are reading this post). You will see if you are vulnerable in the "Attack Vulnerabilities" section. For example, when scanning hackmanit.de, the result is false. Good for us! But as you might have seen there is also another section in the scanner report:"PaddingOracle Responsemap"
This section lists the responses of the scanned host for each padding oracle vector, for each cipher suite and protocol version. For hackmanit.de, there is no detected difference in responses, which means hackmanit.de is not vulnerable to the attack:
If we want, we can also look at the concrete responses of the server. For this purpose, we start the scanner with the -reportDetail flag:

With this flag we now get the following details:

So what does this all mean? First of all, we named our malformed records. The interpretation of those names is visualized in the following table:
BasicMac-<position>-<XOR>   A Record with ApplicationData, MAC and padding bytes, where the padding byte at <position> is XOR'd <XOR>
 MissingMacByteFirst  A Record without ApplicationData, where the first byte of the MAC is missing
 MissingMacByteLast  A Record without ApplicationData, where the last byte of the MAC is missing
 Plain FF  A Record without ApplicationData & MAC which only contains Paddingbytes: 64* 0xFF 
 Plain 3F  A Record without ApplicationData & MAC which only contains Paddingbytes: 64* 0xF3
 InvPadValMac-[<position>]-<appDataLength>-<paddingBytes>  A Record with invalid padding and valid MAC. The Record contains <appDataLength> many ApplicationData bytes and <paddingBytes> many PaddingBytes. The Padding is invalid at <position>.
 ValPadInvMac-[<position>]-<appDataLength>-<paddingBytes>  A Record with valid padding and invalid MAC. The Record contains <appDataLength> many ApplicationData bytes and <paddingBytes> many PaddingBytes. The MAC is invalid at <position>.
 InvPadInvMac-[<position>]-<appDataLength>-<paddingBytes>  A Record with invalid padding and invalid MAC. The Record contains <appDataLength> many ApplicationData bytes and <paddingBytes> many PaddingBytes. The MAC is invalid at the first position. The Padding is invalid at <position>.

Next to the name you can see what the actual response from the server was. Alert messages which are in [] brackets indicate that the alert was a fatal alert while () brackets indicate a warning alert. ENC means that the messages were encrypted (which is not always the case). The last symbol in each line indicates the state of the socket. An X represents a closed socket with a TCP FIN, a T indicates that the socket was still open at the time of measurement and an @ indicates that the socket was closed with an RST. So how did Hackmanit respond? We see a [BAD_RECORD_MAC]  ENC X, which means we received an ENCrypted FATAL BAD_RECORD_MAC alert, and the TCP connection was closed with a TCP FIN. If a server appears to be vulnerable, the scanner will execute the scan a total of three times to confirm the vulnerability. Since this response is identical to all our vectors, we know that the server was not vulnerable and the scanner is not re-executing the workflows.

Here is an example of a vulnerable host:
As you can see, this time the workflows got executed multiple times, and the scanner reports the cipher suite and version as vulnerable because of "SOCKET_STATE". This means that in some cases the socket state revealed information about the plaintext. If you look closely, you can see that for ValPadInvMac-[0]-0-59, ValPadInvMac-[8]-0-59 and ValPadInvMac-[15]-0-59 the server failed to close the TCP socket, while for all other vectors the TCP connect was closed with a TCP FIN. The server was therefore vulnerable.

Since the server was vulnerable, TLS-Scanner will also print an additional section: "PaddingOracle Details"

In this section we try to identify the vulnerability. In the example above, TLS-Scanner will print the following:

As you can see, we attribute this vulnerability to OpenSSL <1.0.2r. We do so by looking at the exact responses to our malformed records. We additionally print two important facts about the vulnerability: Whether it is observable and its strength. The precise details of these properties are beyond the scope of this blogpost, but the short version is:
If an oracle is observable, a man in the middle attacker can see the differences between the vectors by passively observing the traffic, without relying on browser or application specific tricks. A strong oracle has no limitations in the number of consecutive bytes an attacker can decrypt. If an oracle is STRONG and OBSERVABLE, then an attacker can realistically exploit it. This is the case in the example above.
For more details on this, you will have to wait for the paper.

Attribution

As you can see, we try to fingerprint the responsible device/implementation. However, we were not able to identify all vulnerable implementations yet. If we cannot attribute a vulnerability you will receive the following message:

Could not identify the vulnerability. Please contact us if you know which software/hardware is generating this behavior.

If you encounter this message, we do not know yet who is responsible for this padding oracle and would be happy to know which device/vendor is responsible. If you know who is, please contact us so that we can get in contact with the vendor to fix the issue. To reiterate, the tool never sends any data back to us, and it is your choice whether to contact us manually or not.

There are also some cases in which we can identify the vendor, but the vendor has not patched the vulnerability yet. If you encounter such a host, the scanner will tell you that we know the responsible vendor. To prevent abuse, we do not include further details.

Non-Determinism and Errors

In some cases, the scanner is unable to scan for padding oracles and reports ERROR or non-deterministic responses. The ERROR cases appear if the scanner failed could not handshake with the specified cipher suite and protocol version. This might be due to a bug in the tested TLS-Server or a bug in TLS-Attacker or TLS-Scanner. If you think the handshake fails because of an issue on our side, please open an issue on Github, and we will investigate. The more interesting cases are the non-deterministic ones. In such cases the scanner observed non-identical scan results in three separate scans. This can be due to non-determinism in the software, connection errors, server load or non-homogeneous load balancing. Currently, you will have to analyze these cases manually. In the paper, we excluded such hosts from our study because we did not want to artificially improve our results. But we understand that you as a tester want to know if the server is vulnerable or not. If the server is not truly vulnerable you would see the differences between the answers spread across all the different vectors. If the differences only appear on a subset of malformed records the server is very likely vulnerable. If you are unsure, you can also always scan multiple times (or scan slowly), increase the timeout, or if you are entirely lost get in touch with us. 


How YOU can help

Please use the scanner on all your hosts and check for padding oracle vulnerabilities. If the scanner can identify your vulnerability, a patch should already be available. Please patch your system! If the scanner does not identify the vulnerability (and instructs you to contact us), please contact us with the details (robert.merget@rub.de). If you can provide us with the detailed output of the scanner or even better, the name of the host, with the corresponding vendor, we could match the results with our database and help fix the issue. We can already attribute over 90% of the vulnerabilities, but there is still a lot to be discovered. We mostly scanned the Alexa top 1-million on port 443. Other protocols like IMAPS, POP3S, etc. might have different implementations with different vulnerabilities. If you find vulnerabilities with our tool, please give us credit. It helps us to get more funding for our project.

Issues with the Scanner


A notable feature of our scanner is that we do not actively try to avoid intolerances (like not scanning with a lot of cipher suites in the Hello messages etc.). We believe that doing so would hide important bugs. We are currently experimenting with intolerances checks, but the feature is now still in beta. If we cannot scan a server (most of the time due to intolerances or SNI problems), the scanner will report a lot of intolerances and usually no supported protocol versions. Some intolerances may trick the scanner into reporting false results. At the current stage, we cannot make any guarantees. If you are using this tool during a pentest, it might be smart to rescan with other scanners (like the recently released padcheck tool from our colleague Craig Young) to find the ground truth (this is good advice in general, since other mainstream scanners likely have the same issues). Note however that it is very unlikely that the scanner reports a false positive on a padding oracle scan.


Conclusion

There are still a lot of padding oracle vulnerabilities out there - and a lot of them are still unpatched. We hope you will find some bugs with the tool :) Happy H4cking :D


Acknowlegements

This is joint work from Robert Merget (@ic0nz1), Juraj Somorovsky (@jurajsomorovsky),  Nimrod Aviram (@NimrodAviram), Janis Fliegenschmidt (@JanisFliegens), Craig Young (@craigtweets), Jörg Schwenk (@JoergSchwenk) and (Yuval Shavitt).
Related links
  1. Hacker Tools For Mac
  2. Hack Tools Online
  3. Hacker Tools 2020
  4. Hacker Tools
  5. Best Pentesting Tools 2018
  6. Pentest Tools Port Scanner
  7. Hacker Tools Github
  8. Pentest Tools Linux
  9. Github Hacking Tools
  10. Hacking Tools For Windows 7
  11. Hack Tools For Mac
  12. How To Make Hacking Tools
  13. Nsa Hack Tools
  14. Hacking Tools For Kali Linux
  15. What Are Hacking Tools
  16. Easy Hack Tools
  17. Pentest Tools Alternative
  18. Hacker Tools 2019
  19. Hack And Tools
  20. Hacker Tools Apk Download
  21. Pentest Tools Alternative
  22. Hacker Tools Apk Download
  23. Pentest Tools Tcp Port Scanner
  24. Hack Tools Online
  25. Hack Tools For Mac
  26. Kik Hack Tools
  27. Pentest Tools Framework
  28. Pentest Box Tools Download
  29. Hack Tool Apk No Root
  30. Hack Tool Apk
  31. Usb Pentest Tools
  32. Pentest Recon Tools
  33. Pentest Tools Review
  34. Kik Hack Tools
  35. Pentest Tools For Mac
  36. Hacking Tools For Windows Free Download
  37. Hacking Tools Usb
  38. Hacking Tools For Pc
  39. Hack Tools For Windows
  40. Pentest Reporting Tools
  41. Install Pentest Tools Ubuntu
  42. Hak5 Tools
  43. Hacking Tools For Pc
  44. Hack Tool Apk No Root
  45. Hacking Tools And Software
  46. Wifi Hacker Tools For Windows
  47. Hack App
  48. Hak5 Tools
  49. Nsa Hack Tools
  50. Hacking Tools For Windows Free Download
  51. Hack App
  52. How To Hack
  53. Computer Hacker
  54. Pentest Tools Website Vulnerability
  55. Hack Tools For Games
  56. Hak5 Tools
  57. Hacker Tools Apk Download
  58. Underground Hacker Sites
  59. Hack Tools
  60. Hacker Tools Windows
  61. Hacking Tools Name
  62. Hack Tools For Mac
  63. Hack Tools For Windows
  64. Top Pentest Tools
  65. Hacker Security Tools
  66. Hack Rom Tools
  67. Hacking Apps
  68. Pentest Box Tools Download
  69. Black Hat Hacker Tools
  70. Hacking Tools Windows
  71. Hacker Tools Hardware
  72. Hacking App
  73. Pentest Tools Subdomain
  74. Best Pentesting Tools 2018
  75. Hackrf Tools
  76. Hacker Search Tools
  77. World No 1 Hacker Software
  78. Hack Tools For Windows
  79. What Are Hacking Tools
  80. Pentest Automation Tools
  81. Hacker Techniques Tools And Incident Handling
  82. Hacking Tools For Games
  83. Termux Hacking Tools 2019
  84. Pentest Tools Url Fuzzer
  85. What Is Hacking Tools
  86. Hacking Tools Download
  87. Best Pentesting Tools 2018
  88. Nsa Hack Tools
  89. Hacking Tools Github
  90. Hacking Tools For Windows Free Download
  91. Pentest Tools Android
  92. Pentest Tools Subdomain
  93. Hacker Tools For Ios
  94. Hack Website Online Tool
  95. Hacker Tools Windows
  96. Pentest Tools Find Subdomains
  97. Wifi Hacker Tools For Windows
  98. Hack Tools For Ubuntu
  99. Pentest Tools Free
  100. Hack Tools Download
  101. Pentest Tools Kali Linux
  102. Usb Pentest Tools
  103. Github Hacking Tools
  104. Hacks And Tools
  105. Ethical Hacker Tools
  106. Tools For Hacker
  107. Hacking Tools For Pc
  108. Tools Used For Hacking
  109. Pentest Tools For Mac
  110. Hacking Tools Software
  111. Pentest Tools For Mac
  112. Nsa Hacker Tools
  113. Pentest Tools Alternative
  114. Pentest Tools For Ubuntu
  115. Computer Hacker
  116. Hack Apps
  117. Pentest Tools Find Subdomains
  118. Hacker Tools Free
  119. Hacking Tools Free Download
  120. Hack Tools For Windows
  121. Hacking Tools For Beginners
  122. Termux Hacking Tools 2019
  123. Hacking Apps
  124. Hacker Tools For Mac
  125. Hack Tool Apk No Root
  126. Pentest Tools Download
  127. Hacker Tools
  128. Pentest Tools Linux
  129. Hacker Tools Linux
  130. Tools For Hacker
  131. Hack Tools For Windows
  132. Hack Apps
  133. Best Hacking Tools 2019
  134. Hacks And Tools
  135. Hack Tools For Mac
  136. Hacking Tools Windows
  137. Hacker Tools Apk
  138. Pentest Tools Free
  139. Hack Tools
  140. Hacker Search Tools
  141. Hacking Tools Hardware
  142. Hacker Tools Hardware
  143. Tools Used For Hacking
  144. Pentest Tools Tcp Port Scanner
  145. Hacking Tools For Beginners
  146. Hacking Tools 2020
  147. Hacking Tools Usb

No comments:

Post a Comment