/padding-oracle-attack-explained

Padding Oracle Attack fully explained and coded from scratch in Python3

Primary LanguagePython

Padding Oracle Attack Explained

Padding Oracle attack fully explained and coded from scratch in Python3.

Summary

1- Overview
2- Script Usage
3- AES-CBC Ciphering
4- Exploiting CBC mode
5- Padding Oracle Attack
6- Python3 Script


1- Overview

The padding oracle attack is a spectacular attack because it allows to decrypt a message that has been intercepted if the message was encrypted using CBC mode. POODLE (Padding Oracle On Downgraded Legacy Encryption) is a man-in-the-middle exploit which takes advantage of Internet and security software clients' fallback to SSL 3.0. If attackers successfully exploit this vulnerability, on average, they only need to make 256 SSL 3.0 requests to reveal one byte of encrypted messages.
It will only require ensuring that we are able to obtain a response from the server that will serve as an Oracle (we'll come back to these in more detail later in this report). We will then be able to decrypt the entire message except the first block, unless we know the initialization vector.

You can find more informtions on Padding Oracle Attack and POODLE.

In this article, we will focus on how to use this vulnerability and propose a python script that exploits CBC mode to decrypt a message encrypted in AES-CBC.


2- Script Usage

If you're only insterested in using the code, the chapter 2 is all you need. However, please note you won't be able to decrypt the first block if you don't know the initialization vector.

Download to get the script or $ git clone https://github.com/flast101/padding-oracle-attack-explained.git

Cryptographic parameters (block size, initialization vector IV, and key) can be modified in settings.py. Particularly, you can enter the initialization vector (IV) if you know it. If you don't, enter any value (the length must be the same as a block), e.g. '\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00'.

Encyption and decryption using AES-CBC algorithm with aescbc.py:

$ python3 aescbc.py <message>          encrypts and displays the message (output in hex format)
$ python3 aescbc.py -d <hex code>      decrypts and displays the message

Decrypting a message using the padding oracle attack with poracle_exploit.py:

$ python3 poracle_exploit.py <message>         decrypts and displays the message

oracle.py is our oracle: a boolean function determining if the message is encrypted with valid PKCS7 padding .

Example

If you know the IV, you will be able to decrypt the whole message:

example.png

In case you don't know the IV, you won't be able to decrypt the first block and you will get a result as follows:

example-noiv.png


3- AES-CBC Encryption

3.1- Advanced Encryption Standard (AES)

Safeguarding information has become mandatory in today’s cybersecurity world. Encryption is one such method to protect discret information being transferred online.

The Advanced Encryption Standard (AES), is a specification for the encryption of electronic data established by the U.S. National Institute of Standards and Technology (NIST) in 2001.

The Encryption technique is employed in two ways, namely symmetric encryption and asymmetric encryption. For symmetric encryption, the same secret key is used for both encryption and decryption, while asymmetric encryption has one key for encryption and another one for decryption.

With regard to symmetric encryption, data can be encrypted in two ways. There are stream ciphers: any length of data can be encrypted, and the data does not need to be cut. The other way is block encryption. In this case, the data is cut into fixed size blocks before encryption.

There are several operating modes for block encryption, such as Cipher Block Chaining (CBC), as well as CFB, ECB... etc.

3.2- Cipher Block Chaining (CBC)

In CBC mode, each block of plaintext is XORed with the previous ciphertext block before being encrypted. This way, each ciphertext block depends on all plaintext blocks processed up to that point. To make each message unique, an initialization vector must be used in the first block.

CBC has been the most commonly used mode of operation, e.g. in applications such as SSL or VPN like OpenVPN and IPsec. Its main drawbacks are that encryption is sequential (i.e., it cannot be parallelized), and that the message must be padded to a multiple of the cipher block size.

cbc_mode.png

If the first block has the index 0, the mathematical formula for CBC encryption is:
Ci = EK (Pi ⊕ Ci-1) for i ≥ 1,
C0 = EK (P0 ⊕ IV)

For decryption, we have:
Pi = DK(Ci) ⊕ Ci-1

Where EK is the function of encryption with the key K, DK is the function of decryption with the key K, IV the initialization vector, and C0 is the first crypted block.

Decrypting with the incorrect IV causes the first block of plaintext to be corrupt but subsequent plaintext blocks will be correct. This is because each block is XORed with the ciphertext of the previous block, not the plaintext, so one does not need to decrypt the previous block before using it as the IV for the decryption of the current one. This means that a plaintext block can be recovered from two adjacent blocks of ciphertext.


4.- Exploiting CBC mode

4.1- PKCS7 Padding Validation Function

The padding mainly used in block ciphers is defined by PKCS7 (Public-Key Cryptography Standards) whose operation is described in RFC 5652. If N is the number of bytes of a block and M bytes (M < N) are missing in the last block, then we will add the character ‘0xM’ M times at the end of the block. PKCS7 padding is also done this way.

When the block will be decrypted there will be a verification to check if the padding is good or wrong. If we can know when we have a bad or a good padding, e.g. the server sends back an "error padding" or "404 not found" message when the padding is wrong. We will call this our Oracle.

Here, we want to write this function, a function which takes clear text in binary as input and which returns a boolean validating or invalidating the fact that this text is indeed a text with a PKCS7 padding.
It determines whether the input data may or may not meet PKCS7 requirements. In our code, the function is named pkcs7_padding:

def pkcs7_padding(data):
    pkcs7 = True
    last_byte_padding = data[-1]
    if(last_byte_padding < 1 or last_byte_padding > 16):
        pkcs7 = False
    else:
        for i in range(0,last_byte_padding):
            if(last_byte_padding != data[-1-i]):
                pkcs7 = False
    return pkcs7

4.2- Ask The Oracle

Here, we want a function that determines whether an encrypted text corresponds to PKCS7 padding valid encrypted data. It simply calls our pkcs7_padding and apply it to the AES decryption of a message. It plays the role of the Oracle, which is the actual server receiving the message of the communication. This Oracle function will be used a lots to exploit the CBC vulnerability.

Here is the script oracle.py using the oracle function:

#!/usr/bin/env python3
import sys,os
from Crypto.Cipher import AES
from settings import *
mode = AES.MODE_CBC

# AES CBC decryption 
def decryption(encrypted):
    decryptor = AES.new(key, mode, IV=IV)
    return decryptor.decrypt(encrypted)

# Ckeck validity of PKCS7 padding
def pkcs7_padding(data):
    pkcs7 = True
    last_byte_padding = data[-1]
    if(last_byte_padding < 1 or last_byte_padding > 16):
        pkcs7 = False
    else:
        for i in range(0,last_byte_padding):
            if(last_byte_padding != data[-1-i]):
                pkcs7 = False
    return pkcs7

# Determine if the message is encrypted with valid PKCS7 padding
def oracle(encrypted):
    return pkcs7_padding(decryption(encrypted))

4.3- CBC Mode Vulnerability

Let's take a theoretical example, a character string which, when padded, is made of 4 blocks of 16 bytes each. The 4 plaintext blocks are P0 to P3 and the 4 encrypted blocks are C1 to C3.

We can illustrate it with the following diagram:

four_blocks.png

We wrote this formula in the previous chapter:
Ci = EK (Pi ⊕ Ci-1)

If we apply decryption on both sides of the formula, we have:
DK ( Ci ) = Pi ⊕ Ci-1

And as XOR is a commutative operation: Pi = DK ( Ci ) ⊕ Ci-1

Now let's take a totally random new X block. It's a block that we create and that we that we can change. Let's take with it the last encrypted block from our example, C3, and concatenate them.

It gives the following Diagram:

two_blocks.png

Applying our maths to this diagram, we can write the 2 following formulas:

  • C3 = EK ( P3 ⊕ C2 )
  • P'1 = DK ( C3 ) ⊕ X

Now, we can replace "C3" by "EK ( P3 ⊕ C2 )" in the second formula:
P'1 = P3 ⊕ C2 ⊕ X

As XOR operation is commutative, the following formula is also true: P3 = P'1 ⊕ C2 ⊕ X

We have something really interesting here because this fromula is the link between 2 known elements and 2 unknown elements.

Known elements:

  • X: this is the element that we control, we can choose it.
  • C2: this is the penultimate encrypted block.

Unknown elements:

  • P3: the last plaintext block, which we are trying to find.
  • P'1: the plaintext block coming from the concatenation of X and C3. We don't know it, but we will be able to discover it thanks to the padding mechanism.

The 2 key points to understand here are:

  1. We know that the decryption of an encrypted text must be a plaintext with a valid padding, therefore ending with 0x01 or 0x02 0x02 etc, and so is P'1. We know each "end form" of P'1 which satisfies this rule.
  2. We can make X vary until we find a X value in acordance with each "end form" of P'1.

As a conclusion o this chapter, we can say that this equation has no cryptography anymore, only XOR. We could skip the cryptographic aspect only with maths.

This is exactely where resides the vulnerability of CBC mode... and the beauty of this attack. Using maths, we have just demonstrated that we can get rid of cryptography if we know how PKCS7 padding works.


5- Padding Oracle Attack

5.1- Last Byte

We just saw that
P3 = P'1 ⊕ C2 ⊕ X

This equality only contains the XOR operation. As you know, the XOR is a bit by bit operation, so we can split this equality by calculating it byte by byte. As our blocks size is 16 bytes, we have the following equations:
P3[0] = P'1[0] ⊕ C2[0] ⊕ X[0]
P3[1] = P'1[1] ⊕ C2[1] ⊕ X[1]
P3[2] = P'1[2] ⊕ C2[2] ⊕ X[2]
(...)
P3[14] = P'1[14] ⊕ C2[14] ⊕ X[14]
P3[15] = P'1[15] ⊕ C2[15] ⊕ X[15]

We also know that the decryption of an encrypted text must be a plaintext with a valid padding, therefore ending with 0x01 or 0x02 0x02 etc.
As we control all bytes of X, we can bruteforce the last byte (256 values between 0 and 255) until we obtain a valid padding for P'1, i.e. until the oracle function returns "True" when its input is X + C3 (concatenation of X and C3).
In this case, it will mean that the clear text padding of P’1 ends with 0x01.

Once we find the last byte of X which gives the valid padding, we know that the padding value P'1[15] = 0x01, which means:
P3[15] = P'1[15] ⊕ C2[15] ⊕ X[15] = 0x01 ⊕ C2[15] ⊕ X[15]

With this information, we find the last byte of the last block of text plaintext.

5.2- What Else ?

Now, we will look for the value of the previous byte of P3, ie. P3[14] in our case.

We now have a padding of 0x02 0x02 (ie. '\x02\x02') on P’1, which results in P’1[15] = P’1[14] = 0x02. And by the way, our P3[15] is now known since we just found it.

So this time we have the following:

  • X[15] = P'1[15] ⊕ C2[15] ⊕ P3[15] = 0x02 ⊕ C2[​ 15​ ] ⊕ P3[15] where C2[15] et P3[15] are known
  • P3[14] = P'1[14] ⊕ C2[14] ⊕ X[14] = ​ 0x02​ ⊕ C[14] ⊕ X[14]

It is therefore X[14] that we brute force, that is to say that we vary between 0 and 256 in hexa, with P'1[14] value of 0x02.

We have all the values in hand which allow us to find P3[14], and after this step we know the last 2 bytes of P3, which is what we are trying to find.

5.3- Generalize It

This reasoning is to be looped until you find all the plaintext values of the block.

Once the block has been decrypted, we just have to take the next block and apply exactly the same reasoning, and so on... We will then find the blocks P2, and P1.

However, a problem arises in finding the block P0. Indeed, for the previous cases, the decryption was based on the knowledge of the encrypted block which preceeded the block being decrypted. However, for the first block, you must know which IV is used. In this case, there is no miracle:

  • Either you know the IV (Initialization Vector), in which case it's the same reasoning,
  • Or you try to guess it using usual combinations, such as a null IV, or a series of consecutive bytes and you may or may not decrypt the last block.

If we cannot find it, then we will have to settle for the decryption of blocks 1 to N-1.

5.4- One Formula To Rule Them All

We can notice that we have everything we need to decrypt the text but let's recap before we cn write a script to automate the process.

We have encrypted text which we know is encrypted in N blocks of size B. From there, we can split the encrypted text into N blocks where N = (encrypted message size) / B.
If the message has been encrypted correctly, N is necessarily an integer.

We split the text into N blocks of B bytes and we start with the last byte of the last block. At this stage :

PN-1[B-1] = P'1[B-1] ⊕ CN-2[B-1] ⊕ X[B-1] = 0x01 ⊕ CN-2[B-1] ⊕ X[B-1] where X[B-1] is the byte that satisfied the requirements of PKCS7.

Then, we iterate on i between 0 and B-1 and on j between 0 and N-1. At each turn, we have:

  • X[i+1] = P'1[i+1] ⊕ Cj-1[i+1] ⊕ Pj[i+1] = 0x02 ⊕ Cj-1[i+1] ⊕ Pj[i+1]
    where Cj-1[i+1] and Pj[i+1] are known.
  • Pj[i] = P'1[i] ⊕ Cj-1[i] ⊕ X[i] = 0x02 ⊕ Cj-1[i] ⊕ X[i]
    where X[i] is the byte that satisfied the requirements of PKCS7.

6- Python3 Script

Here is the python3 script poracle-exploit.py:

#!/usr/bin/env python3
from settings import *
from oracle import *

##########################################
# Padding Oracle Attack Proof of Concept #
##########################################

def poc(encrypted):
    block_number = len(encrypted)//BYTE_NB
    decrypted = bytes()
    # Go through each block
    for i in range(block_number, 0, -1):
        current_encrypted_block = encrypted[(i-1)*BYTE_NB:(i)*BYTE_NB]
        # At the first encrypted block, use the initialization vector if it is known
        if(i == 1):
            previous_encrypted_block = bytearray(IV.encode("ascii"))
        else:
            previous_encrypted_block = encrypted[(i-2)*BYTE_NB:(i-1)*BYTE_NB]
        bruteforce_block = previous_encrypted_block
        current_decrypted_block = bytearray(IV.encode("ascii"))
        padding = 0
        # Go through each byte of the block
        for j in range(BYTE_NB, 0, -1):
            padding += 1
            # Bruteforce byte value
            for value in range(0,256):
                bruteforce_block = bytearray(bruteforce_block)
                bruteforce_block[j-1] = (bruteforce_block[j-1] + 1) % 256
                joined_encrypted_block = bytes(bruteforce_block) + current_encrypted_block
                # Ask the oracle
                if(oracle(joined_encrypted_block)):
                    current_decrypted_block[-padding] = bruteforce_block[-padding] ^ previous_encrypted_block[-padding] ^ padding
                    # Prepare newly found byte values
                    for k in range(1, padding+1):
                        bruteforce_block[-k] = padding+1 ^ current_decrypted_block[-k] ^ previous_encrypted_block[-k]
                    break
        decrypted = bytes(current_decrypted_block) + bytes(decrypted)
    return decrypted[:-decrypted[-1]]  # Padding removal

#### Script ####

usage = """
Usage:
  python3 poracle_exploit.py <message>         decrypts and displays the message
  python3 poracle_exploit.py -o <hex code>     displays oracle answer

Cryptographic parameters can be changed in settings.py
"""

if __name__ == '__main__':
    if len(sys.argv) == 2 : #chiffrement
        if len(sys.argv[1])%16!=0:       # code size security
            print(usage)
        else:
            print("Decrypted message: ", poc(bytes.fromhex(sys.argv[1])).decode("ascii"))
    elif len(sys.argv) == 3 and sys.argv[1] == '-o' : #oracle
        print(oracle(bytes.fromhex(sys.argv[2])))
    else:
        print(usage)

Be Curious, Learning is Life ! 😃