The first collision for full SHA-1
Marc Stevens1 , Elie Bursztein2 , Pierre Karpman1 , Ange Albertini2 , Yarik Markov2
1

CWI Amsterdam
Google Research
info@shattered.io
https://shattered.io
2

Abstract. SHA-1 is a widely used 1995 NIST cryptographic hash function standard that was
officially deprecated by NIST in 2011 due to fundamental security weaknesses demonstrated
in various analyses and theoretical attacks.
Despite its deprecation, SHA-1 remains widely used in 2017 for document and TLS certificate
signatures, and also in many software such as the GIT versioning system for integrity andbackup purposes.
A key reason behind the reluctance of many industry players to replace SHA-1 with a safer
alternative is the fact that finding an actual collision has seemed to be impractical for the
past eleven years due to the high complexity and computational cost of the attack.
In this paper, we demonstrate that SHA-1 collision attacks have finally become practicalby providing the first known instance of a collision. Furthermore, the prefix of the colliding
messages was carefully chosen so that they allow an attacker to forge two PDF documentswith the same SHA-1 hash yet that display arbitrarily-chosen distinct visual contents.
We were able to find this collision by combining many special cryptanalytic techniques incomplex ways and improving upon previous work. In total the computational effort spent isequivalent to 263.1 SHA-1 compressions and took approximately 6 500 CPU years and 100
GPU years. As a result while the computational power spent on this collision is larger thanother public cryptanalytic computations, it is still more than 100 000 times faster than abrute force search.
Keywords: hash function, cryptanalysis, collision attack, collision example, differential path.

1

Introduction

A cryptographic hash function H ∶ {0, 1}∗ → {0, 1}n is a function that computes forany arbitrarily long message M a fixed-length hash value of n bits. It is a versatile
cryptographic primitive used in many applications including digital signature schemes,
message authentication codes, password hashing and content-addressable storage. The
security or even the proper functioning of many of these applications rely on the assumptionthat it is practically impossible to find collisions. A collision being two distinct messages x,y that hash to the same value H(x) = H(y). A brute-force searchfor collisions based on√
the so-called birthday paradox has a well understood cost of π/2 ⋅ 2n/2 expected calls tothe hash function.
The MD-SHA family of hash functions is the most well-known hash function family,
which includes MD5, SHA-1 and SHA-2 that all have found widespread use. This family
originally started with MD4 [30] in 1990, which was quickly replaced by MD5 [31] in 1992
due to serious security weaknesses [7, 9]. Despite early known weaknesses of its underlying
compression function [8], MD5 was widely deployed by the software industry for over a
decade. A project MD5CRK that attempted to find a collision by brute force was halted
early in 2004, when a team of researchers led by Xiaoyun Wang [43] demonstrated collisions
for MD5 found by a groundbreaking special cryptanalytic attack that pioneered newtechniques. In a major development, Stevens et al. [38] later showed that a more powerfultype of attack (the so-called chosen-prefix collision attack ) could be performed against
MD5. This eventually led to the forgery of a Rogue Certification Authority that in principle
completely undermined HTTPS security [39] in 2008. Despite this, even in 2017 there arestill issues in deprecating MD5 for signatures [16].

Currently, the industry is facing a similar challenge in the deprecation of SHA-1, a 1995
NIST standard [27]. It is one of the main hash functions of today, and it also has been facing
important attacks since 2005. Based on previous successful cryptanalysis works [4, 2, 3]
on SHA-0 [26] (SHA-1’s predecessor, that only differs by a single rotation in the message
expansion function), a team led again by Wang et al. [42] presented in 2005 the very first
theoretical collision attack on SHA-1 that is faster than brute-force. This attack, while
groundbreaking, was purely theoretical as its expected cost of 269 calls to SHA-1 waspractically out-of-reach.
Therefore, as a proof of concept, many teams worked on generating collisions for
reduced versions of SHA-1: 64 steps [6] (with a cost of 235 SHA-1 calls), 70 steps [5] (cost244 SHA-1), 73 steps [13] (cost 250.7 SHA-1) and finally 75 steps [14] (cost 257.7 SHA-1)
using extensive GPU computation power.
In 2013, building on these advances and a novel rigorous framework for analyzing
SHA-1, the current best collision attack on full SHA-1 was presented by Stevens [36] withan estimated cost of 261 calls to the SHA-1 compression function. Nevertheless, a publicly
known collision still remained out of reach. This was also highlighted by Schneier [32] in2012, when he estimated the cost of a SHA-1 collision attack to be around US$ 700 K in
2015, down to about US$ 173 K in 2018 (using calculations by Walker based on a 261 attack
cost [36], Amazon EC2 spot prices and Moore’s Law), which he deemed to be within the
resources of criminals.
More recently, a collision for the full compression function underlying SHA-1 was
obtained by Stevens et al. [37] using a start-from-the-middle approach and a highly efficient
GPU framework (first used to mount a similar freestart attack on the function reduced
to 76 steps [18]). This required only a reasonable amount of GPU computation power,
about 10 days using 64 GPUs, equivalent to approximately 257.5 calls to SHA-1 on GPU.
Based on this attack, the authors projected that a collision attack on SHA-1 may cost
between US$ 75 K and US$ 120 K by renting GPU computing time on Amazon EC2 [33]using spot-instances, which is significantly lower than Schneier’s 2012 estimates. These new
projections had almost immediate effect when CABForum Ballot 152 to extend issuanceof SHA-1 based HTTPS certificates was withdrawn [11], and SHA-1 was deprecated for
digital signatures in the IETF’s TLS protocol specification version 1.3.
Unfortunately CABForum restrictions on the use of SHA-1 only apply to actively
enrolled Certification Authority certificates and not on any other certificates. E.g., retracted
CA certificates that are still supported by older systems (and CA certificates have indeed
been retracted for continued use of SHA-1 certificates to serve to these older systems
unchecked by CABForum regulations1 ), and certificates for other TLS applications including
up to 10% of credit card payment systems [40]. It thus remains in widespread use acrossthe software industry for, e.g., digital signatures on software, documents, and many otherapplications, most notably in the GIT versioning system.
Worth noting is that not only academic efforts have been spent on breaking hashfunctions. Nation-state actors [28, 22, 21] have been linked to the highly advanced espionage
malware “Flame” that was found targeting the Middle-East in May 2012. As it turned out,
it used a forged signature to infect Windows machines via a man-in-the-middle attack on
Windows Update. Using a new technique of counter-cryptanalysis that is able to expose
cryptanalytic collision attacks given only one message from a colliding message pair, it wasproven that the forged signature was made possible by a then secret chosen-prefix attack
on MD5 [35, 10].
2

Table 1: Colliding message blocks for SHA-1.
CV0
(1)
M1

(1)

CV1
(1)
M2

CV2
CV0
(2)
M1

(2)

CV1
(2)
M2

CV2

2

4e a9 62 69 7c 87 6e 26 74 d1 07 f0 fe c6 79 84 14 f5 bf 45
7f 46 dc 93 a6 b6 7e 01 3b 02 9a aa 1d b2 56 0b
45 ca 67 d6 88 c7 f8 4b 8c 4c 79 1f e0 2b 3d f6
14 f8 6d b1 69 09 01 c5 6b 45 c1 53 0a fe df b7
60 38 e9 72 72 2f e7 ad 72 8f 0e 49 04 e0 46 c2
8d 64 d6 17 ff ed 53 52 eb c8 59 15 5e c7 eb 34 f3 8a 5a 7b
30 57 0f e9 d4 13 98 ab e1 2e f5 bc 94 2b e3 35
42 a4 80 2d 98 b5 d7 0f 2a 33 2e c3 7f ac 35 14
e7 4d dc 0f 2c c1 a8 74 cd 0c 78 30 5a 21 56 64
61 30 97 89 60 6b d0 bf 3f 98 cd a8 04 46 29 a11e ac b2 5e d5 97 0d 10 f1 73 69 63 57 71 bc 3a 17 b4 8a c5
4e a9 62 69 7c 87 6e 26 74 d1 07 f0 fe c6 79 84 14 f5 bf 45
73 46 dc 91 66 b6 7e 11 8f 02 9a b6 21 b2 56 0f
f9 ca 67 cc a8 c7 f8 5b a8 4c 79 03 0c 2b 3d e2
18 f8 6d b3 a9 09 01 d5 df 45 c1 4f 26 fe df b3
dc 38 e9 6a c2 2f e7 bd 72 8f 0e 45 bc e0 46 d2
8d 64 c8 21 ff ed 52 e2 eb c8 59 15 5e c7 eb 36 73 8a 5a 7b
3c 57 0f eb 14 13 98 bb 55 2e f5 a0 a8 2b e3 31
fe a4 80 37 b8 b5 d7 1f 0e 33 2e df 93 ac 35 00
eb 4d dc 0d ec c1 a8 64 79 0c 78 2c 76 21 56 60
dd 30 97 91 d0 6b d0 af 3f 98 cd a4 bc 46 29 b1
1e ac b2 5e d5 97 0d 10 f1 73 69 63 57 71 bc 3a 17 b4 8a c5

Our contributions

We are the first to exhibit an example collision for SHA-1, presented in Table 1, thereby
proving that theoretical attacks on SHA-1 have now become practical. Our work builds
upon the best known theoretical collision attack [36] with estimated cost of 261 SHA-1
calls. This is an identical-prefix collision attack, where a given prefix P is extended withtwo distinct near-collision block pairs such that they collide for any suffix S:
(1)

(1)

(2)

(2)

SHA-1 (P ∣∣M1 ∣∣M2 ∣∣S) = SHA-1 (P ∣∣M1 ∣∣M2 ∣∣S) .
The computational effort spent on our attack is estimated to be equivalent to 263.1
SHA-1 calls (see Section 6). There is certainly a gap between the theoretical attack aspresented in [36] and our executed practical attack that was based on it. Indeed, thetheoretical attack’s estimated complexity does not include the inherent relative loss inefficiency when using GPUs, nor the inefficiency we encountered in actually launching alarge scale computation distributed over several data centers. Moreover, the construction of
the second near-collision attack was significantly more complicated than could be expectedfrom the literature.
(1)(2)
To find the first near-collision block pair (M1 , M1 ) we employed the open-sourcecode from [36], which was modified to work with our prefix P given in Table 2 and forlarge scale distribution over several data centers. To find the second near-collision block(1)(2)
pair (M2 , M2 ) that finishes the collision was significantly harder, as the attack cost is
known to be significantly higher, but also because of additional obstacles.
1E.g., SHA-1 certificates are still being sold by CloudFlare at the time of writing: https://www.cloudflare.
com/ssl/dedicated-certificates/

3

Table 2: Identical prefix of our collision.
25 50 44 46 2d 31 2e 33 0a 25 e2 e3 cf d3 0a 0a
0a 31 20 30 20 6f 62 6a 0a 3c 3c 2f 57 69 64 74
68 20 32 20 30 20 52 2f 48 65 69 67 68 74 20 33
20 30 20 52 2f 54 79 70 65 20 34 20 30 20 52 2f
53 75 62 74 79 70 65 20 35 20 30 20 52 2f 46 69
6c 74 65 72 20 36 20 30 20 52 2f 43 6f 6c 6f 72
53 70 61 63 65 20 37 20 30 20 52 2f 4c 65 6e 67
74 68 20 38 20 30 20 52 2f 42 69 74 73 50 65 72
43 6f 6d 70 6f 6e 65 6e 74 20 38 3e 3e 0a 73 74
72 65 61 6d 0a ff d8 ff fe 00 24 53 48 41 2d 31
20 69 73 20 64 65 61 64 21 21 21 21 21 85 2f ec
09 23 39 75 9c 39 b1 a1 c6 3c 4c 97 e1 ff fe 01%PDF-1.3.%......
.1 0 obj.<</Widt
h 2 0 R/Height 3
0 R/Type 4 0 R/
Subtype 5 0 R/Fi
lter 6 0 R/ColorSpace 7 0 R/Leng
th 8 0 R/BitsPer
Component 8>>.stream......$SHA-1
is dead!!!!!./.
.#9u.9...<L.....

In Section 5 we will discuss in particular the process of building the second near-collisionattack. Essentially we followed the same steps as was done for the first near-collision attack[36], combining many existing cryptanalytic techniques. Yet we further employed the SHA-1
collision search GPU framework from Karpman et al. [18] to achieve a significantly morecost efficient attack.
We also describe two new additional techniques used in the construction of the second
near-collision attack. The first allowed us to use additional differential paths around step
23 for increased success probability and more degrees of freedom without compromising theuse of an early-stop technique. The second was necessary to overcome a serious problem ofan unsolvable strongly over-defined system of equations over the first few steps of SHA-1’s
compression function that threatened the feasibility of finishing this project.
Our example colliding files only differ in two successive random-looking message
blocks generated by our attack. We exploit these limited differences to craft two colliding
PDF documents containing arbitrary distinct images. Examples can be downloaded fromhttps://shattered.io; another smaller example is given in Section B.1. PDFs with thesame MD5 hash have previously been constructed by Gebhardt et al. [12] by exploiting
so-called Indexed Color Tables and Color Transformation functions. However, this method
is not effective for many common PDF viewers that lack support for these functionalities.
Our PDFs rely on distinct parsings of JPEG images, similar to Gebhardt et al.’s TIFF
technique [12] and Albertini et al.’s JPEG technique [1]. Yet we improved upon these basic
techniques using very low-level “wizard” JPEG features such that these work in all common
PDF viewers, and even allow very large JPEGs that can be used to craft multi-page PDFs.
Some details of our work will be made public later only when sufficient time to implement
additional security measures has passed. This includes our improved JPEG technique andthe source-code for our attack and cryptanalytic tools.
The remainder of this paper is organized as follows. We first give a brief descriptionof SHA-1 in Section 3. Then in Section 4 we give a high-level overview of our attack,followed by Section 5 that details the entire process and the cryptanalytic techniques
employed, where we also highlight improvements with respect to previous work. Finally,
we discuss in Section 6 the large-scale distributed computations required to find the twonear-collision block pairs. The parameters used to find the second colliding block are givenin the appendix, in Section A.

3

The SHA-1 hash function

We provide a brief description of SHA-1 as defined by NIST [27]. SHA-1 takes an arbitrarylength message and computes a 160-bit hash. It divides the (padded) input message into k
4

blocks M1 , . . . , Mk of 512 bits. The 160-bit internal state CVj of SHA-1, called the chaining
value, is initialized to a predefined initial value CV0 = IV . Each block Mj is fed to acompression function h that updates the chaining value, i.e., CVj+1 = h(CVj , Mj+1 ), where
the final CVk is output as the hash.
The compression function h given a 160-bit chaining value CVj and a 512-bit message
block Mj+1 as inputs will output a new 160-bit chaining value CVj+1 . It mixes the message
block into the chaining value as follows, operating on words, simultaneously seen as 32-bit
strings and as elements of Z/232 Z. The input chaining value is parsed as 5 words a, b, c, d, e,
and the message block as 16 words m0 , . . . , m15 . The latter are expanded into 80 words
using the following recursive linear equation:
mi = (mi−3 ⊕ mi−8 ⊕ mi−14 ⊕ mi−16 )↺1 ,for 16 ≤ i < 80.

Starting from (A−4 , A−3 , A−2 , A−1 , A0 ) ∶= (e↺2 , d↺2 , c↺2 , b, a), each mi is mixed into anintermediate state over 80 steps i = 0, . . . , 79:↺5

Ai+1 = Ai

↻2

↻2

↻2

+ ϕi (Ai−1 , Ai−2 , Ai−3 ) + Ai−4 + Ki + mi ,where ϕi and Ki are predefined Boolean functions and constants:
step iϕi (x, y, z)Ki

0 ≤ i < 2020 ≤ i < 4040 ≤ i < 60
60 ≤ i < 80

ϕIF = (x ∧ y) ∨ (¬x ∧ z)
ϕXOR = x ⊕ y ⊕ z
ϕMAJ = (x ∧ y) ∨ (x ∧ z) ∨ (y ∧ z)
ϕXOR = x ⊕ y ⊕ z

0x5a827999
0x6ed9eba1
0x8f1bbcdc
0xca62c1d6

After the 80 steps, the new chaining value is computed as the sum of the input chaining
value and the final intermediate state:
↻2

↻2

↻2

CVj+1 = (a + A80 , b + A79 , c + A78 , d + A77 , e + A76 ).

4

Overview of our SHA-1 collision attack

We illustrate our attack from a high level in Figure 1, where differences between the twocomputations of the two colliding messages are depicted by red shading. Starting fromidentical chaining values for two messages, we use two pairs of blocks. The differences in thefirst block pair cause a small difference in the output chaining value, which is canceled by
the difference in the second block pair, leading again to identical chaining values and hencea collision (indicated by (2)). We employ differential paths that are a precise description ofdifferences in state words and message words and of how these differences should propagate
through the 80 steps.
Note that although the first five state words are fixed by the chaining value, one canfreely modify message words and thus directly influence the next sixteen state words.
Moreover, with additional effort this can be extended to obtain limited influence overanother eight state words. However, control over the remaining state words (indicated by (1))
is very hard and thus requires very sparse target differences that correctly propagate withprobability as high as possible. Furthermore, these need to be compatible with differencesin the expanded message words. The key solution is the concept of local collisions [4],where any state bit difference introduced by a perturbation message bit difference is to becanceled in the next five steps using correction message bit differences.
To ensure all message word bit differences are compatible with the linear message
expansion, one uses a Disturbance Vector (DV) [4] that is a correctly expanded message
5

Fig. 1: Attack overview

itself, but where every “1” bit marks the start of a local collision. The selection of a good
disturbance vector is very important for the overall attack cost. As previously shown by
Wang et al. [42], the main reason of using two block pairs instead of just one pair is that
this choice alleviates an important restriction on the disturbance vector, namely that there
are no state differences after the last step. Similarly, it may be impossible to unite theinput chaining value difference with the local collisions for an arbitrary disturbance vector.
This was solved by Wang et al. [42] by crafting a tailored differential path (called the
Non-Linear (NL) path, indicated by (3)) that over the first 16 steps connects the input
chaining value differences to the local collision differences over the remaining steps (called
the Linear path, referring to the linear message expansion dictating the local collision
positions).
One has to choose a good disturbance vector, then for each near-collision attack craft
a non-linear differential path, determine a system of equations over all steps and finallyfind a solution in the form of a near-collision message block pair (as indicated by (4A) and(4B)). Note that one can only craft the non-linear path for the second near-collision attack
once the chaining values resulting from the first block pair are known. This entire processincluding our improvements is described below.

5

Near-collision attack procedure

DV selection

Craft nonlinear path

Determine
attackconditions

Find
additional
conditions

Run attack

Write attack
algorithm

Find
speed-ups(boomerangs)Fixsolvability
first steps

Fig. 2: The main steps for each near-collision attack.

This section describes the overall procedure of each of the two near-collision attacks.
Since we relied on our modification of Stevens’ public source-code [36, 15] for the firstnear-collision attack, we focus on our extended procedure for our second near-collisionattack. As shown in Figure 2, this involves the following steps that are further detailed
below:
1. selection of the disturbance vector (same for both attacks);
2. construction of the non-linear differential path;6

3. determine attack conditions over all steps;
4. find additional conditions beyond fixed diff. path for early-stop;
5. if necessary fix solvability of attack conditions over first few steps;
6. find message modification rules to speed-up collision search;
7. write the attack algorithm;
8. finally, run the attack to find a near-collision block pair.
5.1

Disturbance Vector selection

The selection of which Disturbance Vector to use is the most important choice as thisdirectly determines many aspects of the collision attack. These include the message XOR
differences, but also in theory the optimal attack choices over the linear path, including
the optimal set of candidate endings for the non-linear path together with optimal linear
message bit equations that maximize the success probability over the linear part.
Historically several approaches have been used to analyze a disturbance vector toestimate attack costs over the linear part. Initially, the hamming weight of the DV thatcounts the active number of local collisions was used (see e.g. [3, 29]). For the first theoretical
attack on SHA-1 with cost 269 SHA-1-calls by Wang et al. [42] a more refined measure wasused that counts the number of bit conditions on the state and message bits that ensure thedifferential path would be satisfied. This was later refined by Yajima et al. [45] to a more
precise count by exploiting all possible so-called bit compressions and interactions throughthe Boolean functions. However, this approach does not allow any carry propagation
resulting in alternate differential paths that may improve the overall success probability.
Therefore, Mendel et al. [25] proposed to use the more accurate probability of single local
collisions where carry propagations are allowed, in combination with known local collisioninteraction corrections.
The current state-of-the-art is joint local-collision analysis introduced by Stevens[36, 34] which given sets of allowed differences for each state word Ai and message wordmi (given by the disturbance vector) computes the exact optimal success probability overthe specified steps by exhaustively evaluating all differential paths with those allowed
differences. This approach is very powerful as it also provides important information for the
next steps, namely the set of optimal chaining value differences (by considering arbitraryhigh probability differences for the last five Ai s) and the set of optimal endings for the
non-linear path together with a corresponding set of message bit equations, using which
the optimal highest success probability of the specified steps can actually be achieved. The
best theoretical collision attack on SHA-1 with cost 261 SHA-1 calls [36] was built using
this analysis. As we build upon this collision attack, we use the same disturbance vector,
named II(52, 0) by Manuel [23].
5.2

Construction of a non-linear differential path

Once the disturbance vector and the corresponding linear part of the differential pathhave been fixed, the next step consists in finding a suitable non-linear path connecting thechaining value pair (with fixed differences) to the linear part. This step needs to be done
separately for each near-collision attack of the full collision attack.2
As explained for instance in [36], in the case of the first near-collision attack, theattacker has the advantage of two additional freedoms. Firstly, an arbitrary prefix can be
included before the start of the attack to pre-fulfill a limited number of conditions on the
chaining value. This allows greater freedom in constructing the non-linear path as thisdoes not have to be restricted to a specific value of the chaining value pair, whereas the2

We eventually produced two message block pair solutions for the first near-collision attack. This provided
a small additional amount of freedom in the search for the non-linear path of the second block.

7

non-linear path for the second near-collision attack has to start from the specific given
value of input chaining value pair. Secondly, it can use the entire set of output chaining
value differences with the same highest probability. The first near-collision attack is not
limited to a particular value and succeeds when it finds a chaining value difference in thisset, whereas the second near-collision attack has to cancel the specific difference in the
resulting chaining value pair. Theory predicts the first near-collision attack to be at least afactor 6 faster than the second attack [36]. For our collision attack it is indeed the second
near-collision attack that dominates the overall attack complexity.
Historically, the first non-linear paths for SHA-1 were hand-crafted by Wang et al..
Several algorithms were subsequently developed to automatically search for non-linear paths
for MD5, SHA-1, and other functions of the MD-SHA family. The first automatic search for
SHA-1 by De Cannière and Rechberger [6] was based on a guess-and-determine approach.
This approach tracks the allowed values of each bit pair in the two related compressionfunction computations. It starts with no constraints on the values of these bit pairs otherthan the chaining value pair and the linear part differences. It then repeatedly restricts
values on a selected bit pair and then propagates this information via the step function
and linear message expansion relation, i.e., it determines and eliminates previously-allowed
values for other bit pairs that are now impossible due the added restriction. Whenever acontradiction occurs, the algorithm backtracks and chooses a different restriction on thelast selected bit pair.
Another algorithm for SHA-1 was introduced by Yajima et al. [46] that is based on ameet-in-the-middle approach. It starts from two fully specified differential paths. The firstis obtained from a forward expansion of the input chaining value pair, whereas the other isobtained from a backward expansion of the linear path. It then tries to connect these twodifferential paths over the remaining five steps in the middle by recursively iterating overall solutions over a particular step.
A similar meet-in-the-middle algorithm was independently first developed for MD5
and then adapted to SHA-1 by Stevens et al. [38, 34, 15], which operates on bit-slices andis more efficient. The open-source HashClash project [15] seems to be the only publicly
available non-linear path construction implementation, which we improved as follows.
Originally, it expanded a large set of differential paths step by step, keeping only thebest N paths after each step, for some user-specified number N . However, there might beseveral good differential paths that result in the same differences and conditions aroundthe connecting five steps, where either none or all lead to fully connected differential paths.
Since we only need the best fully connected differential path we can find, we only needto keep a best differential path from each subset of paths with the same differences andconditions over the last five steps that were extended. So to remove this redundancy, foreach step we extend and keep say the 4N best paths, then we remove all such superfluous
paths, and finally keep at most N paths. This improvement led to a small but very welcome
reduction in the amount of differential path conditions under the same path construction
parameter choices, but also allowed a better positioning of the largest density of sufficientconditions for the differential path.
Construction of a very good non-linear path for the second near-collision attack using
our improved HashClash version took a small effort with our improvements, yet evenallowed us to restrict the section with high density of conditions to just the first six steps.
However, to find a very good non-linear differential path that is also solvable turned out tobe very complicated. Our final solution is described in Section 5.5, which in the end did
allow us to build our attack on the best non-linear path we found without any compromises.
The fixed version of this best non-linear path is presented in Figure 3, Section A.
8

5.3

Determine attack conditions

Having selected the disturbance vector and constructed a non-linear path that bridges
into the linear part, the next step is to determine the entire system of equations for theattack. This system of equations is expressed entirely over the computation of message
M (1) , and not over M (2) , and consists of two types of equations. First, linear equations
over message bits. These are used to control the additive signs of the message word XOR
differences implied by the disturbance vector. Since there are many different “signings”
over the linear part with the same highest probability, instead of one specific choice one
uses a linear hull that captures many choices to reduce the amount of necessary equations.
Secondly, linear equations over state bits given by a fixed differential path up to some stepi (that includes the non-linear path). These control whether there is a difference in a state
bit and which sign it has, furthermore they force target differences in the outputs of theBoolean functions ϕi .
We determine this entire system by employing our implementation of joint-local collision
analysis that has been improved as follows. JLCA takes input sets of allowed differences
for each Ai and mi and exhaustively analyzes the set of differential paths with thoseallowed differences, which originally is only used to analyze the linear part. We additionallyprovide it with specific differences for Ai and mi as given by the non-linear path, so we
can run JLCA over all 80 steps and have it output an optimal fixed differential path oversteps 0, . . . , 22 together with an optimal set of linear equations over message bits over theremaining steps. These are optimal results since JLCA guarantees these lead to the highest
probability that is possible using the given allowed differences, but furthermore that alargest linear hull is used to minimize the amount of equations.
Note that having a fixed differential path over more steps directly provides more state
bit equations which is helpful in the actual collision search because we can apply theearly-stop technique. However, this also adds further restrictions on Ai limiting a set ofallowed differences to a single specific difference. In our case limiting A24 would result,besides a drop in degrees of freedom, in a lower overall probability, thus we only use afixed differential path up to step 22, i.e., up to A23 . Below in Section 5.4 we show how wecompensated for fewer state equations that the actual collision search uses to early stop.
5.4

Find additional state conditions

As explained in Section 5.3, the system of equations consists of linear equations over
(expanded) message bits and linear equations over state bits. In the actual collision searchalgorithm we depend on these state bit equations to stop computation on a bad current
solution as early as possible and start backtracking. These state bit equations are directly
given by a fixed differential path, where every bit difference in the state and message is fixed.
Starting from step 23 we allow several alternate differential paths that increase successprobability, but also allow distinct message word differences that lead to a decrease in theoverall number of equations. Each alternate differential path depends on its own (distinct)
message word differences and leads to its own state bit equations. To find additional
equations, we also consider linear equations over state and message bits around steps 21–25.
Although in theory these could be computed by JLCA by exhaustively reconstructing allalternate differential paths and then determining the desired linear equations, we instead
took a much simpler approach. We generated a large amount of random solutions of thesystem of equations up to step 31 using an unoptimized general collision search algorithm.
We then proceeded to exhaustively test potential linear equations over at most 4 state bits
and message bits around steps 21–25, which is quite efficient as on average only 2 samples
needed to be checked for each bad candidate. The additional equations we found and used
for the collision search are shown in Table 4, Section A.
9

5.5

Fix solvability over first steps

This step is not required when there are sufficient degrees of freedom in the non-linear part,as was the case in the first near-collision attack. As already noted, in the case of the second
near-collision attack, the non-linear path has to start will a fully fixed chaining value andhas significantly more conditions in the first steps. As a result the construction of a very
good and solvable non-linear differential path for the second near-collision attack turned out
to be quite complex. Our initially constructed paths unfortunately proved to be unsolvable
over the first few steps. We tried several approaches including using the guess-and-determine
non-linear path construction to make corrections as done by Karpman et al. [18], as wellas using worse differential path construction parameters, but all these attempts led toresults that not only were unsatisfactory but that even threatened the feasibility of thesecond near-collision attack. Specifically, both using the guess-and-determine approach
as well as the meet-in-the-middle approach with a later connecting step, the resulting
differential paths had significantly increased number of conditions bringing the total numberof degrees of freedom critically low. Moreover, the additional conditions easily conflictedwith candidate speed-up measures named “boomerangs” necessary to bring the attack’s
complexity down to a feasible level. Our final solution was to encode this problem into asatisfiability (SAT) problem and use a SAT solver to find a drop-in replacement differential
path over the first eight steps that is solvable.
More specifically, we adapted the SHA-1 SAT system generator from Nossum3 togenerate two independent 8-step compression function computations, which we then linked
by adding constraints that set the given input chaining value pair, the message XOR
differences over m0 , . . . , m7 , the path differences of A4 , . . . , A8 and the path conditionsof A5 , . . . , A8 . In effect, we allowed complete freedom over A1 , A2 , A3 and some freedom
over A4 . All solutions were exhaustively generated by MiniSAT4 and then converted intodrop-in replacement paths, from which we kept the one with fewest conditions.
This allowed us to build our attack on the best non-linear path we found without any
compromises and the corrected non-linear path is presented in Figure 3, Section A. Notethat indeed the system of equations is over-defined: over the first five steps, there are only
15 state bits without an equation, while at the same time there are 23 message equations.
5.6

Find message modifications to speed-up collision search

To speed-up the collision search significantly it is important to employ message modification
rules that make small changes in the current message block that do not affect any bit
involved with the state and message bit equations up to some step n (with sufficiently highprobability). This effectively allows such a message modification rule to be applied to one
solution up to step n to generate several solutions up to the same step with almost no
additional cost, thereby significantly reducing the average cost to generate solutions up to
step n.
The first such speed-up technique that was developed in attacks of the MD-SHA family
was called neutral bits, introduced by Biham and Chen to improve attacks on SHA-0 [2]. A
message bit is neutral up to a step n if flipping this bit causes changes that do not interact
with differential path conditions up to step n with high probability. As the diffusion of
SHA-0/SHA-1’s step function is rather slow, it is not hard to find many bits that are
neutral for a few steps.
A nice improvement of the original neutral bits technique was ultimately described by
Joux and Peyrin as “boomerangs” [17]. It consists in carefully selecting a few bits thatare all flipped together in such a way that this effectively flips say only one state bit in3
4

https://github.com/vegard/sha1-sat
http://minisat.se/10the first 16 steps, and such that the diffusion of uncontrollable changes is significantly
delayed. This idea can be instantiated efficiently by flipping together bits that form a local
collision for the step function. This local collision will eventually introduce uncontrollable
differences through the message expansion. However, these do not appear immediately,
and if all conditions for the local collision to be successful are verified, the first few steps
after the introduction of its initial perturbation will be free of any difference. Joux and
Peyrin then noted that sufficient conditions for the local collision can be pre-satisfied whencreating the initial partial solution, effectively leading to probability-one local collisions.
This leads to a few powerful message modification rules that are neutral up to very latesteps.
A closely related variant of boomerangs is named advanced message modification by
Wang et al. in their attack of the MD-SHA family (see e.g. [42]). While the objective of
this technique is also to exploit the available freedom in the message, it applies this in a
distinct way by identifying ways of interacting with an isolated differential path condition
with high probability. Then, if an initial message pair fails to verify a condition for which amessage modification exists, the bits of the latter are flipped, so that the resulting message
pair now verifies the condition with high probability.
In our attack, we used both neutral bits and boomerangs as message modification
rules. This choice was particularly motivated by the ability to efficiently implement these
speed-up techniques on GPUs, used to compute the second block of the collision, similar
to [18, 37].
Our search process for finding the neutral bits follows the one described in [37]. Potential
boomerangs are selected first, one being eligible if its initial perturbation does not interact
with differential path conditions and if the corrections of the local collision do not breaksome linear message bit relation (this would typically happen if an odd number of bits tobe flipped are part of such a relation). The probability with which a boomerang eventuallyinteracts with path conditions is then evaluated experimentally by activating it on about
4000 independent partial solutions; the probability threshold used to determine up towhich step a boomerang can be used is set to 0.9, meaning that it can be used to generate
an additional partial solution at step n from an existing one if it does not interact withpath conditions up to step n with probability more than 0.1. Once boomerangs havebeen selected, the sufficient conditions necessary to ensure that their corresponding local
collisions occur with probability one are added to the differential path, and all remaining
free message bits are tested for neutrality using the same process (i.e., a bit is only eligible
if flipping it does not trivially violate path conditions or make it impossible to later satisfy
message bit relations, and its quality is evaluated experimentally).
The list of neutral bits and boomerangs used for the second block of the attack is given
in Section A. There are 51 neutral bits, located on message words m11 to m15 , and threeboomerangs each made of a single local collision started on m06 (for two of them) or m09 .
5.7

Attack implementation

A final step in the design of the attack is to implement it. This is needed for obvious
reasons if the goal is to find an actual collision as we do here, but it is also a necessary
step if one wishes to obtain a precise estimate of the complexity of the attack. Indeed,
while the complexity of the probabilistic phase of the attack can be accurately computed
using JLCA (or can also be experimentally determined by sampling many mock partial
solutions), there is much more uncertainty as to “where” this phase actually starts. In
other words, it is hard to exactly predict how effective the speed-up techniques can bewithout actually implementing them. The only way to determine the real complexity of an
attack is then to implement it, measure the rate of production of partial solutions up to a
step where there is no difference in the differential path for five consecutive state words,
11and use JLCA to compute the exact probability of obtaining a (near-)collision over theremaining steps.
The first near-collision block pair of the attack was computed with CPUs, using an
adapted version of the HashClash software [15]. As the original code was not suitable to run
on a large scale, a significant effort was spent to make it efficient on the hundreds of coresnecessary to obtain a near-collision in reasonable time. The more expensive computation of
the second block was done on GPUs, based on the framework used by Karpman et al. [18],which we briefly describe below.
The main structure used in this framework consists in first generating base solutions
on CPUs that fix the sixteen free message words, and then to use GPUs to extend theseto partial solutions up to a late step, by only exploiting the freedom offered by speed-up
techniques (in particular neutral bits and boomerangs). These partial solutions are thensent back to a CPU to check if they result in collisions.
The main technical difficulty of this approach is to make the best use of the power
offered by GPUs. Notably, their programming model differs from the one of CPUs in
how diverse the computations run on their many available cores can be: on a multicore
CPU, every core can be used to run an independent process; however, even if a recent
GPU can feature many more cores than a CPU (for instance, the Nvidia GTX 970 usedin [18, 37] and the initial implementation of this attack features 1664 cores), they can
only be programmed at the granularity of warps, made of 32 threads which must thenrun the same code. Furthermore, divergence in the control flow of threads of a single warp
is dealt with by serializing the diverging computations; for instance, if a single threadtakes a different branch than the rest of the warp in an if statement, all the other threads
become idle while it is taking its own branch. This limitation would make a naı̈ve parallel
implementation of the usage of neutral bits rather inefficient, and there is instead a strong
incentive to minimize control-flow divergence when implementing the attack.
The approach taken by [18] to limit the impact of the inherent divergence in neutral
bit usage is to decompose the attack process step by step and to use the fair amount ofmemory available on recent GPUs to store partial solutions up to many different steps
in shared buffers. In a nutshell, all threads of a single warp are asked to load their own
partial solution up to a certain state word Ai , and they will together apply all neutral
bits available at this step, each time checking if the solution can be validly extended to asolution up to Ai+1 ; if and only if this is the case, this solution is stored in the buffer forpartial solutions up to Ai+1 , and this selective writing operation is the only moment where
the control flow of the warps may diverge.
To compute the second block pair of the attack, and hence obtain a full collision, we first
generated base solutions consisting of partial solutions up to A14 on CPU, and used GPUs
to generate additional partial solutions up to A26 . These were further probabilisticallyextended to partial solutions up to A53 , still using GPUs, and checking whether they
resulted in a collision was finally done on a CPU. The probability of such a partial solution
to also lead to a collision can be computed by JLCA to be equal to 2−27.8 , and 2−48.7
for partial solutions up to A33 (these probabilities could in fact both be reduced by afactor 20.6 ; however, the one indicated here correspond to the attack we carried out). On a
GTX 970, a prototype implementation of the attack produced partial solutions up to A33
at a rate of approximately 58 100 per second, while the full SHA-1 compression function
can be evaluated about 231.8 times per second on the same GPU. Thus, our attack has an
expected complexity of 264.7 on this platform.
Finally, adapting the prototype GPU implementation to a large-scale infrastructure
suitable to run such an expensive computation also required a fair amount of work.
126

Computation of the collisionThis section gives some details about the computation of the collision and provides a few
comparisons with notable cryptographic computations.
6.1

Units of complexity

The complexity figures given in this section follow the common practice in the cryptanalysis
of symmetric schemes of comparing the efficiency of an attack to the cost of using a genericalgorithm achieving the same result. This can be made by comparing the time needed, withthe same resources, to e.g. compute a collision on a hash function by using a (memoryless)generic collision search versus by using a dedicated process. This comparison is usually
expressed by dividing the time taken by the attack, e.g. in core hours, by the time taken
to compute the attacked primitive once on the same platform; the cost of using a genericalgorithm is then left implicit. This is for instance how the figure of 264.7 from Section 5.7
has been derived.
While this approach is reasonable, it is far from being as precise as what a number
such as 264.7 seems to imply. We discuss below a few of its limitations.
The impact of code optimization. An experimental evaluation of the complexity ofan attack is bound to be sensitive to the quality of the implementation, both of the attack
itself and of the reference primitive used as a comparison. A hash function such as SHA-1
is easy to implement relatively efficiently, and the difference in performance between areference and optimized implementation is likely to be small. This may however not betrue for the implementation of an attack, which may have a more complex structure.
A better implementation may then decrease the “complexity” of an attack without any
cryptanalytical improvements.
Although we implemented our attack in the best way we could, one cannot exclude thata different approach or some modest further optimizations may lead to an improvement.
However, barring a radical redesign, the associated gain should not be significant; theimprovements brought by some of our own low-level optimizations was typically of about
15%.
The impact of the attack platform. The choice of the platform used to run theattack may have a more significant impact on its evaluated complexity. While a CPU is bydefinition suitable to run general-purpose computations, this is not the case of e.g. GPUs.
Thus, the gap between how fast a simple computation, such as evaluating the compressionfunction of SHA-1, and a more complex one, such as our attack, need not be the same on
the two kinds of architectures. For instance, the authors of [18] noticed that their 76-step
freestart attack could be implemented on CPU (a 3.2 GHz Haswell Core i5) for a costequivalent to 249.1 compression function computations, while this increased to 250.25 on
their best-performing GTX 970, and 250.34 on average.
This difference leads to a slight paradox: from an attacker’s point of view, it may
seem best to implement the attack on a CPU in order to be able to claim a better attack
complexity. However, a GPU being far more powerful, it is actually much more efficient
to run it on the latter: the attack of [18] takes only a bit more than four days to run ona single GTX 970, which is much less than the estimated 150 days it would take using asingle quad-core CPU.
We did not write a CPU (resp. GPU) implementation of our own attack for the searchof the second (resp. first) block, and are thus unable to make a similar comparison for thepresent full hash function attack. However, as we used the same framework as [18], it isreasonable to assume that the gap would be of the same order.
13

How to pick the best generic attack. As we pointed out above, the common methodology for measuring the complexity of an attack leaves implicit the comparison with ageneric approach. This may introduce a bias in suggesting a strategy for a generic attacker
that is in fact not optimal. This was already hinted in the previous paragraph, where weremarked that an attack may seem to become worse when implemented on a more efficientplatform. In fact, the underlying assumption that a generic attacker would use the same
platform as the one on which the cryptanalytic attack is implemented may not always bejustified: for instance, even if the latter is run on a CPU, there is no particular reason why ageneric attacker would not use more energy-efficient GPUs or FPGAs. It may thus be hardto precisely estimate the absolute gain provided by a cryptanalytic attack compared to thebest implementation of a generic algorithm with identical monetary and time resources,
especially when these are high.
The issues raised here could all be addressed in principle by carefully implementing, say
van Oorschot and Wiener’s parallel collision search on a cluster of efficient platforms [41].
However, this is usually not done in practice, and we made no exception in our case.
Despite the few shortcomings of this usual methodology used to evaluate the complexityof attacks, it remains in our opinion a reliable measure thereof, that allows to compare
different attack efforts reasonably well. For want of a better one, it is also the approach
used in this paper.

6.2

The computation

The major challenge when running our near-collision attacks distributed across the world
was to adapt the attacks into a distributed computation model which pursues two goals:
the geographically distributed workers should work independently without duplication ofwork, the number of the wasted computational time due to worker’s failures should be
minimized. The first goal required storage with the ability endure high loads of requests
coming from all around the globe. For the second goal, the main sources of failures we found
were: preemption by higher-priority workers and bugs in GPU hardware. To diminish theimpact of these failures, we learned to predict failures in the early stages of computationand terminated workers without wasting significant amounts of computational time.
First near-collision attack. The first phase of the attack, corresponding to the generationof first-block near collisions, was run on a heterogeneous CPU cluster hosted by Google,
spread over 8 physical locations. The computation was split into small jobs of expectedrunning time of one hour, whose objectives were to compute partial solutions up to step
61. The running time of one hour proved to be the best choice to be resilient against
various kind of failures (mostly machine failure, preemption by other users of the cluster,or network issues), while limiting the overhead of managing many jobs. A MapReduceparadigm was used to collect the solutions of a series of smaller jobs; in hindsight, this was
not the best approach, as it introduced an unnecessary bottleneck in the reduce phase.
The first first-block near collision was found after spending about 3583 core years that
had produced 180 711 partial solutions up to step 61. A second near collision block wasthen later computed; it required an additional 2987 core years and 148 975 partial solutions.
There was a variety of CPUs involved in this computation, but it is reasonable to assume
that they all were roughly equivalent in performance. On a single core of a 2.3 GHz Xeon
E5-2650v3, the OpenSSL implementation of SHA-1 can compute up to 223.3 compressionfunctions per second. Taking this as a unit, the first near-collision block required an effort
equivalent to 260 SHA-1 compression function calls, and the second first block required259.75 .
14

Second near-collision attack. The second more expensive phase of the attack was
run on a heterogeneous cluster of K20, K40 and K80 GPUs, also hosted by Google. It
corresponded to the generation of a second-block near-collision leading to a full collision.
The overall setup of the computation was similar to the one of the first block, exceptthat it did not use a MapReduce approach and resorted to using simpler queues holding
the unprocessed jobs. A worker would then select a job, potentially produce one or several
partial solutions up to step 61, and die on completion.
The collision was found after 369 985 partial solutions had been produced5 . The
production rates of partial 61-step solutions of the different devices used in the cluster
were of 0.593 per hour for the K80 (which combines two GPU chips on one card), 0.444 forthe K40 and 0.368 for the K20. The time needed for a homogeneous cluster to produce thecollision would then have been of 114 K20-years, 95 K40-years or 71 K80-years.
The rate at which these various devices can compute the compression function of SHA-1
is, according to our measurements, 231.1 s−1 for the K20, 231.3 s−1 for the K40, and 231 s−1
for the K80 (230 s−1 per GPU). The effort of finding the second block of the collision forhomogeneous clusters, measured in number of equivalent calls to the compression function,is thus equal to 262.8 for the K20 and K40 and 262.1 for the K80.
Although a GTX 970 was only used to prototype the attack, we can also consider its
projected efficiency and measure the effort spent for the attack w.r.t. this GPU. From themeasured production rate of 58 100 step 33 solutions per second, we can deduce that 0.415
step 61 solutions can be computed per hour on average. This leads to a computational
effort of 102 GPU year, equivalent to 263.4 SHA-1 compression function calls.
The monetary cost of computing the second block of the attack by renting Amazon
instances can be estimated from these various data. Using a p2.16xlarge instance, featuring
16 K80 GPUs and nominally costing US$ 14.4 per hour would cost US$ 560 K for thenecessary 71 device years. It would be more economical for a patient attacker to wait for
low “spot prices” of the smaller g2.8xlarge instances, which feature four K520 GPUs,
roughly equivalent to a K40 or a GTX 970. Assuming thusly an effort of 100 device years,
and a typical spot price of US$ 0.5 per hour, the overall cost would be of US$ 110 K.
Finally, summing the cost of each phase of the attack in terms of compression function
calls, we obtain a total effort of 263.1 , including the redundant second near-colliding first
block and taking the figure of 262.8 for the second block collision. This should however not
be taken as an absolute number; depending on luck and equipment but without changing
any of the cryptanalytical aspects of our attack, it is conceivable that the spent effort could
have been anywhere from, say, 262.3 to 265.1 equivalent compression function calls.
6.3

Complexity comparisons

We put our own result into perspective by briefly comparing its complexity to a few otherrelevant cryptographic computations.
Comparison with MD5 and SHA-0 collisions. An apt comparison is first to consider
the cost of computing collisions for MD5 [31], a once very popular hash function, andSHA-0 [26], identical to SHA-1 but for a missing rotation in the message expansion. The
best-known identical-prefix collision attacks for these three functions are all based on thesame series of work from Wang et al. from the mid-2000s [43, 44, 42], but have widely
varying complexities.
The best current identical-prefix collision attacks on MD5 are due to Stevens et al.,and require the equivalent of about 216 compression function calls [39]. Furthermore, inthe same paper, chosen-prefix collisions are computed for a cost equivalent to about 239
5

We were quite lucky in that respect. The expected number required is about 2.5 times more than that.

15

calls, increasing to 249 calls for a three-block chosen-prefix collision as was generated on
200 PS3s for the rogue Certification Authority work.
Though very similar to SHA-1, SHA-0 is much weaker against collision attacks. The
best current such attack on SHA-0 is due to Manuel and Peyrin [24], and requires theequivalent of about 233.6 calls to the compression function.
Identical-prefix collisions for MD5 and SHA-0 can thus be obtained within a reasonable
time by using very limited computational power, such as a decent smartphone.
Comparison with RSA modulus factorization and prime field discrete logarithm computation. Some of the most expensive attacks implemented in cryptography
are in fact concerned with establishing records of factorization and discrete logarithm
computations. We believe that it is instructive to compare the resources necessary in bothcases. As an example, we consider the 2009 factorization of a 768-bit RSA modulus from
Kleinjung et al. [19] and the recent 2016 discrete logarithm computation in a 768-bit prime
field from Kleinjung et al. [20].
The 2009 factorization required about 2000 core years on a 2.2 GHz AMD Opteron of
the time. The number of single instructions to have been executed is estimated to be of
the order of 267 [19]. 6
The 2016 discrete logarithm computation was a bit more than three times more
expensive, and required about 5300 core years on a single core of a 2.2 GHz Xeon E52660 [20].
In both cases, the overall computational effort could have been decreased by reducing
the time that was spent collecting relations [19, 20]. However, this would have made thefollowing linear-algebra step harder to manage and a longer computation in calendar time.
Kleinjung et al. estimated that a shorter sieving step could have resulted in a discrete
logarithm computation in less than 4000 core hours [20].
To compare the cost of the attacks, we can estimate how many SHA-1 (compressionfunction) calls can be performed in the 5300 core years of the more expensive discrete
logarithm record [20]. Considering again a 2.3 GHz Xeon E5-2650 (slightly faster than the
CPU used as a unit by Kleinjung et al.) running at about 223.3 SHA-1 calls per second,the overall effort of [20] is equivalent to approximately 260.6 SHA-1 calls. It is reasonable
to expect that even on an older processor the performance of running SHA-1 would notdecrease significantly; taking the same base figure per core would mean that the effortof [19] is equivalent to approximately 258.9 ∼ 259.2 SHA-1 calls.
In absolute value, this is less than the effort of our own attack, the more expensive
discrete logarithm computation being about five times cheaper7 , and less than twice more
expensive than computing a single first-block near collision. However, the use of GPUs forthe computation of the second block of our attack allowed both to significantly decrease
the calendar time necessary to perform the computation, and its efficiency in terms ofnecessary power: as an example, the peak power consumption of a K40 is only 2.5 times theone of a 10-core Xeon E5-2650, yet it is about 25 times faster at computing the compressionfunction of SHA-1 than the whole CPU, and thence 10 times more energy efficient overall.
The energy required to compute a collision using GPUs is thus about twice less thanthe one required for the discrete logarithm computation8 . As a conclusion, computing acollision for SHA-1 seems to need slightly more effort than 768-bit RSA factorization or
prime-field discrete logarithm computation but, if done on GPUs, the amount of resources
necessary to do so is slightly less.
6

Note that the comparison between factorization and discrete logarithm computation mentioned in [20]gives for the former a slightly lower figure of about 1700 core hours.
7
But now is also a good time to recall that directly comparing CPU and GPU cost is tricky.
8This is assuming that the total energy requirements scale linearly with the consumption of the processing
units.

16

References[1] Ange Albertini, Jean-Philippe Aumasson, Maria Eichlseder, Florian Mendel, and Martin Schläffer,
Malicious Hashing: Eve’s Variant of SHA-1 , SAC 2014 (Antoine Joux and Amr M. Youssef, eds.),
Lecture Notes in Computer Science, vol. 8781, Springer, 2014, pp. 1–19.
[2] Eli Biham and Rafi Chen, Near-Collisions of SHA-0 , CRYPTO (Matthew K. Franklin, ed.), Lecture
Notes in Computer Science, vol. 3152, Springer, 2004, pp. 290–305.
[3] Eli Biham, Rafi Chen, Antoine Joux, Patrick Carribault, Christophe Lemuet, and William Jalby,
Collisions of SHA-0 and Reduced SHA-1 , EUROCRYPT (Ronald Cramer, ed.), Lecture Notes in
Computer Science, vol. 3494, Springer, 2005, pp. 36–57.
[4] Florent Chabaud and Antoine Joux, Differential Collisions in SHA-0 , CRYPTO (Hugo Krawczyk,ed.), Lecture Notes in Computer Science, vol. 1462, Springer, 1998, pp. 56–71.
[5] Christophe De Cannière, Florian Mendel, and Christian Rechberger, Collisions for 70-Step SHA-1:
On the Full Cost of Collision Search, SAC (Carlisle M. Adams, Ali Miri, and Michael J. Wiener, eds.),
Lecture Notes in Computer Science, vol. 4876, Springer, 2007, pp. 56–73.
[6] Christophe De Cannière and Christian Rechberger, Finding SHA-1 Characteristics: General Results
and Applications, ASIACRYPT (Xuejia Lai and Kefei Chen, eds.), Lecture Notes in Computer Science,
vol. 4284, Springer, 2006, pp. 1–20.
[7] Bert den Boer and Antoon Bosselaers, An Attack on the Last Two Rounds of MD4 , CRYPTO (Joan
Feigenbaum, ed.), Lecture Notes in Computer Science, vol. 576, Springer, 1991, pp. 194–203.
[8] Bert den Boer and Antoon Bosselaers, Collisions for the Compression Function of MD5 , EUROCRYPT(Tor Helleseth, ed.), Lecture Notes in Computer Science, vol. 765, Springer, 1993, pp. 293–304.
[9] Hans Dobbertin, Cryptanalysis of MD4 , FSE (Dieter Gollmann, ed.), Lecture Notes in Computer
Science, vol. 1039, Springer, 1996, pp. 53–69.
[10] Max Fillinger and Marc Stevens, Reverse-Engineering of the Cryptanalytic Attack Used in the Flame
Super-Malware, ASIACRYPT 2015 (Tetsu Iwata and Jung Hee Cheon, eds.), Lecture Notes in
Computer Science, vol. 9453, Springer, 2015, pp. 586–611.
[11] CA/Browser Forum, Ballot 152 - Issuance of SHA-1 certificates through 2016 , Cabforum mailing list,
2015, https://cabforum.org/pipermail/public/2015-October/006081.html.
[12] M. Gebhardt, G. Illies, and W. Schindler, A Note on Practical Value of Single Hash Collisions forSpecial File Formats, NIST First Cryptographic Hash Workshop, October 2005.
[13] E.A. Grechnikov, Collisions for 72-step and 73-step SHA-1: Improvements in the Method of Characteristics, Cryptology ePrint Archive, Report 2010/413, 2010.
[14] E.A. Grechnikov and A.V. Adinetz, Collision for 75-step SHA-1: Intensive Parallelization with GPU ,Cryptology ePrint Archive, Report 2011/641, 2011.
[15] HashClash project webpage, https://marc-stevens.nl/p/hashclash/.
[16] InfoWorld, Oracle to Java devs: Stop signing JAR files with MD5 , January 2017.
[17] Antoine Joux and Thomas Peyrin, Hash Functions and the (Amplified) Boomerang Attack , CRYPTO(Alfred Menezes, ed.), Lecture Notes in Computer Science, vol. 4622, Springer, 2007, pp. 244–263.
[18] Pierre Karpman, Thomas Peyrin, and Marc Stevens, Practical Free-Start Collision Attacks on 76-step
SHA-1 , CRYPTO (Rosario Gennaro and Matthew Robshaw, eds.), Lecture Notes in Computer Science,
vol. 9215, Springer, 2015, pp. 623–642.
[19] Thorsten Kleinjung, Kazumaro Aoki, Jens Franke, Arjen K. Lenstra, Emmanuel Thomé, Joppe W. Bos,
Pierrick Gaudry, Alexander Kruppa, Peter L. Montgomery, Dag Arne Osvik, Herman J. J. te Riele,
Andrey Timofeev, and Paul Zimmermann, Factorization of a 768-Bit RSA Modulus, CRYPTO 2010
(Tal Rabin, ed.), Lecture Notes in Computer Science, vol. 6223, Springer, 2010, pp. 333–350.
[20] Thorsten Kleinjung, Claus Diem, Arjen K. Lenstra, Christine Priplata, and Colin Stahlke, Computationof a 768-bit prime field discrete logarithm, EUROCRYPT 2017 (J.-S. Coron and J.B. Nielsen, eds.),
Lecture Notes in Computer Science, vol. 10210, Springer, Heidelberg, 2017, pp. 178–194.
[21] CrySyS Lab, sKyWIper (a.k.a. Flame a.k.a. Flamer): A complex malware for targeted attacks,
Laboratory of Cryptography and System Security, Budapest University of Technology and Economics,
May 31, 2012.
[22] Kaspersky Lab, The Flame: Questions and Answers, Securelist blog, May 28, 2012.
[23] Stéphane Manuel, Classification and generation of disturbance vectors for collision attacks against
SHA-1 , Des. Codes Cryptography 59 (2011), no. 1-3, 247–263.
[24] Stéphane Manuel and Thomas Peyrin, Collisions on SHA-0 in One Hour , FSE 2008 (Kaisa Nyberg,ed.), Lecture Notes in Computer Science, vol. 5086, Springer, 2008, pp. 16–35.
[25] Florian Mendel, Norbert Pramstaller, Christian Rechberger, and Vincent Rijmen, The Impact ofCarries on the Complexity of Collision Attacks on SHA-1 , FSE (Matthew J. B. Robshaw, ed.), Lecture
Notes in Computer Science, vol. 4047, Springer, 2006, pp. 278–292.
[26] National Institute of Standards and Technology, FIPS 180: Secure Hash Standard, May 1993.
[27] National Institute of Standards and Technology, FIPS 180-1: Secure Hash Standard, April 1995.
[28] The Washington Post, U.S., Israel developed Flame computer virus to slow Iranian nuclear efforts,
officials say, June 2012.

17

[29] Norbert Pramstaller, Christian Rechberger, and Vincent Rijmen, Exploiting Coding Theory for
Collision Attacks on SHA-1 , Cryptography and Coding, 10th IMA International Conference (Nigel P.
Smart, ed.), Lecture Notes in Computer Science, vol. 3796, Springer, 2005, pp. 78–95.
[30] Ronald L. Rivest, The MD4 Message Digest Algorithm, CRYPTO (Alfred Menezes and Scott A.
Vanstone, eds.), Lecture Notes in Computer Science, vol. 537, Springer, 1990, pp. 303–311.
[31] Ronald L. Rivest, RFC 1321: The MD5 Message-Digest Algorithm, April 1992.
[32] Bruce Schneier, When Will We See Collisions for SHA-1? , Blog, 2012.
[33] Amazon Web Services, Amazon EC2 – Virtual Server Hosting, aws.amazon.com, Retrieved Jan. 2016.
[34] Marc Stevens, Attacks on Hash Functions and Applications, Ph.D. thesis, Leiden University, June
2012.
[35] Marc Stevens, Counter-Cryptanalysis, CRYPTO (Ran Canetti and Juan A. Garay, eds.), Lecture
Notes in Computer Science, vol. 8042, Springer, 2013, pp. 129–146.
[36] Marc Stevens, New Collision Attacks on SHA-1 Based on Optimal Joint Local-Collision Analysis,
EUROCRYPT (Thomas Johansson and Phong Q. Nguyen, eds.), Lecture Notes in Computer Science,
vol. 7881, Springer, 2013, pp. 245–261.
[37] Marc Stevens, Pierre Karpman, and Thomas Peyrin, Freestart Collision for Full SHA-1 , EUROCRYPT(Marc Fischlin and Jean-S&apos;ebastien Coron, eds.), Lecture Notes in Computer Science, vol. 9665,
Springer, 2016, pp. 459–483.
[38] Marc Stevens, Arjen K. Lenstra, and Benne de Weger, Chosen-Prefix Collisions for MD5 and Colliding
X.509 Certificates for Different Identities, EUROCRYPT (Moni Naor, ed.), Lecture Notes in Computer
Science, vol. 4515, Springer, 2007, pp. 1–22.
[39] Marc Stevens, Alexander Sotirov, Jacob Appelbaum, Arjen K. Lenstra, David Molnar, Dag Arne
Osvik, and Benne de Weger, Short Chosen-Prefix Collisions for MD5 and the Creation of a Rogue
CA Certificate, CRYPTO (Shai Halevi, ed.), Lecture Notes in Computer Science, vol. 5677, Springer,
2009, pp. 55–69.
[40] ThreadPost, SHA-1 end times have arrived , January 2017.
[41] Paul C. van Oorschot and Michael J. Wiener, Parallel Collision Search with Cryptanalytic Applications,
J. Cryptology 12 (1999), no. 1, 1–28.
[42] Xiaoyun Wang, Yiqun Lisa Yin, and Hongbo Yu, Finding Collisions in the Full SHA-1 , CRYPTO(Victor Shoup, ed.), Lecture Notes in Computer Science, vol. 3621, Springer, 2005, pp. 17–36.
[43] Xiaoyun Wang and Hongbo Yu, How to Break MD5 and Other Hash Functions, EUROCRYPT(Ronald Cramer, ed.), Lecture Notes in Computer Science, vol. 3494, Springer, 2005, pp. 19–35.
[44] Xiaoyun Wang, Hongbo Yu, and Yiqun Lisa Yin, Efficient Collision Search Attacks on SHA-0 ,CRYTO (Victor Shoup, ed.), Lecture Notes in Computer Science, vol. 3621, Springer, 2005, pp. 1–16.
[45] Jun Yajima, Terutoshi Iwasaki, Yusuke Naito, Yu Sasaki, Takeshi Shimoyama, Thomas Peyrin, Noboru
Kunihiro, and Kazuo Ohta, A Strict Evaluation on the Number of Conditions for SHA-1 Collision
Search, IEICE Transactions 92-A (2009), no. 1, 87–95.
[46] Jun Yajima, Yu Sasaki, Yusuke Naito, Terutoshi Iwasaki, Takeshi Shimoyama, Noboru Kunihiro,
and Kazuo Ohta, A New Strategy for Finding a Differential Path of SHA-1 , ACISP (Josef Pieprzyk,
Hossein Ghodosi, and Ed Dawson, eds.), Lecture Notes in Computer Science, vol. 4586, Springer,
2007, pp. 45–58.

A

The attack parameters

The first block of the attack uses the same path and conditions as the one given in [36,Section 5], which we refer to for a description. This section gives the differential path,linear (message) bit relations and neutral bits used in our second near-collision attack.
We use the notation of Table 3 to represent signed differences of the differential pathand to indicate the position of neutral bits.
We give the differential path of the second block up to A23 in Figure 3. We also
give necessary conditions for A22 to A26 in Table 4, which are required for all alternate
differential paths allowed. In order to maximize the probability, some additional conditions
are also imposed on the message. These message bit relations are given in Table 5, andgraphically in Figure 7. The rest of the path can then be determined from the disturbance
vector.
We also give the list of the neutral bits used in the attack. There are 51 of them overthe seven message words m11 to m15 , distributed as follows (visualized in Figure 4):– m11 : bit positions (starting with the least significant bit at zero) 7, 8, 9, 10, 11, 12, 13,
14, 15
18

i
-4
-3
-2
-1
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

Ai
▵▵▿▿▵▵▵▿▿▿▵▿▵▿▿▵▿▵▵▿▵▿▿▵▵▵▵▿▵▵▾▵▿▵▵▵▵▿▵▵▿▿▿▵▵▵▵▵▵▿▵▿▵▵▿▿▵▵▿▵▴▿▿▵▵▿▵▿▵▵▵▵▿▿▵▿▿▿▿▵▿▵▵▿▿▵▿▿▿▵▿▵▿▵▵▵▵▵▵▵▵▵▵▵▵▵▵▿▵▵▿▵▿▵▿▵▿▿▵▾▴▵▴▾▿▿▵▿▵▿▿▿▵▵▿▵▿▵▵▿▿▵▿▿▵▵▿▾▴▾▾▿▿▿▴▾▿▾▾▵▴▿▴▾▿▾▵▿▵▵▿⋅ ▾▴▴▵▵▴▵⋅ ⋅ ▿▿▴▿▴▾▿▿▴▾▿▿▾▿▵▿▵▵▿▿▵▾▾▾▿▵▿▿▵▴▵▾▵▵▴▾▵⋅ ▴▾▾⋅ ▿▵▿▵▿▿▿▵▴▿▵▿▿▿▿▿▵▴▴▴▾▿▵▵▵▵▴▿▿▵▿▿▿⋅ ▿▿▾▵▴▾▾▾▾▾▾▾▾▾▾▾▾▾▾⋅ ▿▵▾▵▴▵▾⋅ ▵▵▾⋅ ▴▿▿▿▵▵▿▿▿▵▵▿▿▵▿▿▿▵▿▿⋅ ⋅ ⋅ ▴▴⋅ ⋅ ⋅ ▾▵▿▿▾▿▿⋅ ▿⋅ ▵▵▿▵▵▵▵▵▵▵▵▿▿▿▵⋅ ⋅ ▿▿▴▴⋅ ▿⋅ ▴⋅ ▾▿▴▿▿⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▿⋅ ▴▿▿▵⋅ ▴⋅ ⋅ ⋅ ▴⋅ ▿⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▾⋅ ⋅ ▵⋅ ▴⋅ ▾⋅ ▵⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▵⋅ ⋅ ▾☆▵⋅ ▵⋅ ▵⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▿⋅ ⋅ ⋅⋅ ▿▴▵⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅▵⋅ ⋅ ⋅ ▿⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ★⋅▴⋅ ⋅ ⋅ ▵⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅⋅ ⋅ ▴⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ★⋅▾⋅ ▵⋅ ▵⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ☆☆
▾▴▿⋅ ▿⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ★⋅▾⋅ ⋅ ▵⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ☆⋅▾⋅ ▾▿⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅▾⋅ ⋅ ⋅ ◾ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅▾⋅ ▾⋅ ◇ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅⋅ ⋅ ⋅ ⋅ ☆⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅⋅ ⋅ ▾⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅▾⋅ ⋅ ⋅ ◽ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ★

mi▿▿▵⋅ ▴▴▿▿▿▵⋅ ⋅ ▿▵▵▵▿▿⋅ ⋅ ⋅ ▵▵▵▵▵▵▿▵▿▴▵▾▾▿▵▿⋅ ⋅ ▿▿▿▿▵▿▿⋅ ⋅ ▵▿▿▵▵▿▿▿▵⋅ ⋅ ▴▵▿⋅ ▵▾▵▾▴⋅ ▴▿▵▿▿▵▿▵▵▵▿▵▵▵▵▿⋅ ▵▿▿⋅ ▵▾▾▾▿▿⋅ ▿▴▾▴▾▿▿▿▿▵▿▵▿▵▵▵▵▿⋅ ⋅ ⋅ ⋅ ▵▿▿▵⋅ ⋅ ▾▿▵●▵▴▴▴▴▵▿▵▿▵▿▿⋅ ▿⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▴▾▵▴▵⋅ ▿▴⋅ ⋅ ⋅ ⋅ ▿▵▿▵▵▿⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▵⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▴⋅ ▵⋅ ▵⋅ ⋅ ▾⋅ ⋅ ▴⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▿▴▴▴⋅ ⋅●▾▾⋅ ▾▾⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▾⋅ ▾⋅ ▿⋅ ⋅ ⋅ ⋅ ▴▾⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▾⋅●▴⋅ ▿⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▾⋅ ▵⋅ ⋅● ⋅ ▴▴⋅ ▾⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▾▴▴⋅ ⋅⋅ ⋅ ▴⋅ ▾▴⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▾⋅ ⋅● ⋅ ▾▴▴▴⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▴▾⋅ ⋅ ⋅● ⋅ ▾▴⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▾⋅ ⋅ ⋅ ⋅⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▾▴⋅ ⋅● ⋅ ▴▴▴⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▴⋅ ⋅ ⋅ ⋅⋅ ⋅ ⋅ ⋅ ▾⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▴▾⋅ ⋅ ⋅⋅ ▴▾▴▴⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▴⋅ ⋅ ⋅ ⋅⋅ ⋅ ⋅ ⋅ ▴⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▴⋅ ▴⋅ ⋅⋅ ▾▾▾⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▴⋅ ⋅ ⋅ ⋅● ⋅ ▴▾▾⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▴▴▾⋅ ⋅●▴▾⋅ ▴⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅● ⋅ ▴▴⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ▴⋅ ⋅Fig. 3: The differential path of the second block up to A23 .

– m12 : positions 2, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20– m13 : positions 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 30– m14 : positions 4, 6, 7, 8, 9, 10– m15 : positions 5, 6, 7, 8, 9, 10, 12
Not all of the neutral bits of the same word (say m13 ) are neutral up to the same point.
Their repartition in that respect is as follows, a graphical representation being also given
in Figure 5.
– Bitsneutralup
toA14m12 [2,14,15,16,17,18,19,20], m13 [12,16](included):

m11 [9,10,11,12,13,14,15],

Table 3: Meaning of the bit difference symbols, for a symbol located on At [i]. The same
symbols are also used for m.
Symbol̃
Condition on (A,A)

Symbol̃
Condition on (A,A)

⋅
●

☆
★

▴

̃t [i]At [i] = A
̃t [i]At [i] ≠ A
̃t [i] = 1
At [i] = 0, A

̃t [i] = At−1 [i]At [i] = A
̃t [i] ≠ At−1 [i]At [i] = A↻2
̃At [i] = At [i] = (A )[i]▾At [i] = 1,

̃t [i] = 0
A

◆

▿
▵
∗

◇

̃t [i] = 0
At [i] = A
̃t [i] = 1
At [i] = A
̃t [i]
No condition on At [i], A

19

t−1
↻2

◽

̃t [i] ≠ (A )[i]At [i] = A
t−1
̃t [i] = (A↻2 )[i]At [i] = A◾

̃t [i] ≠ (A )[i]At [i] = A
t−2

t−2
↻2

Table 4: Additional necessary conditions used for A22 to A26 .
A22 [27] ⊕ m23 [27] = A21 [29] ⊕ 1
A24 [27] ⊕ m25 [27] = A23 [29]A25 [28] ⊕ m25 [27] = A23 [30] ⊕ 1
A26 [27] ⊕ m27 [27] = A25 [29]A24 [30] = m23 [30] ∶ A25 [29] ⊕ m23 [27] = A24 [31]{A24 [30] ≠ m23 [30] ∶ A24 [31] = m23 [30]

Table 5: Linear part message bit relations for the second block path.
m23 [27] ⊕ m23 [28] = 1
m23 [4] = 0m24 [2] = 0m28 [27] = 0m38 [4] ⊕ m44 [28] = 0m40 [4] ⊕ m44 [28] = 1
m43 [28] ⊕ m44 [28] = 0m44 [28] ⊕ m44 [29] = 1
m48 [4] ⊕ m52 [29] = 0m54 [4] ⊕ m60 [29] = 1
m57 [29] ⊕ m60 [29] = 1
m68 [5] ⊕ m72 [30] = 0m72 [5] ⊕ m76 [30] = 0m74 [7] ⊕ m78 [0] = 0m76 [3] = 1
m77 [8] = 0m79 [2] = 0m23 [30] ⊕ m24 [3] = 1
m24 [28] = 0m26 [28] ⊕ m26 [29] = 1
m28 [4] ⊕ m32 [29] = 0m39 [30] ⊕ m44 [28] = 1
m41 [29] ⊕ m41 [30] = 0m43 [29] ⊕ m44 [28] = 1
m45 [29] ⊕ m47 [29] = 0m50 [29] ⊕ m52 [29] = 0m56 [29] ⊕ m60 [29] = 1
m59 [29] ⊕ m60 [29] = 0m70 [1] ⊕ m71 [6] = 1
m73 [2] ⊕ m78 [0] = 1
m75 [1] ⊕ m76 [6] = 1
m77 [0] ⊕ m77 [1] = 0m78 [3] = 1
m79 [4] = 1

m23 [30] ⊕ m28 [28] = 1
m24 [29] = 0m27 [29] = 0m36 [4] ⊕ m44 [28] = 1
m40 [3] ⊕ m44 [28] = 0m42 [28] ⊕ m44 [28] = 0m43 [4] ⊕ m47 [29] = 0m46 [29] ⊕ m47 [29] = 0m51 [29] ⊕ m52 [29] = 0m56 [4] ⊕ m60 [29] = 0m67 [0] ⊕ m72 [30] = 1
m71 [0] ⊕ m76 [30] = 1
m74 [1] ⊕ m75 [6] = 1
m76 [0] ⊕ m76 [1] = 1
m77 [0] ⊕ m77 [2] = 1
m78 [7] = 0

m11 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ●●●●●●●●● ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅m12 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ●●●●●●●●●●●●●●●● ⋅ ⋅ ● ⋅ ⋅m13 : ⋅ ● ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ●● ⋅ ●●●●●●●●● ⋅ ⋅ ⋅ ⋅ ⋅m14 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ●●●●● ⋅ ● ⋅ ⋅ ⋅ ⋅m15 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ● ⋅ ●●●●●● ⋅ ⋅ ⋅ ⋅ ⋅Fig. 4: The 51 single neutral bits used in the second block attack.

– Bits neutral up to A15 (included): m11 [7,8], m12 [9,10,11,12,13], m13 [15,30]– Bits neutral up to A16 (included): m12 [5,6,7], m13 [10,11,13]– Bits neutral up to A17 (included): m13 [5,6,7,8,9], m14 [10]– Bits neutral up to A18 (included): m14 [6,7,9], m15 [10,12]– Bits neutral up to A19 (included): m14 [4,8], m15 [5,6,7,8,9]
A bit neutral to Ai is then used to produce partial solutions at Ai+1 . One should also notethat this list only includes a single bit per neutral bit group, and some additional flips may
be necessary to preserve message bit relations.
Out of the three boomerangs used in the attack, one first introduced a perturbation
on m09 on bit 7, and the other two on m06 , on bit 6 and on bit 8. All three boomerangs
then introduce corrections to ensure a local collision. Because these local collisions happen
in the first round, where the Boolean function is a bitwise IF, only two corrections arenecessary for each of them.
The lone boomerang introduced on m09 is neutral up to A22 , and the couple introduced
on m06 are neutral up to A25 . The complete sets of message bits defining all of them areshown in Figure 6, using a “difference notation”.

20

A14 ∶

A15 ∶

A16 ∶
A17 ∶
A18 ∶
A19 ∶

m11 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ●●●●●●● ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅m12 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ●●●●●●● ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ● ⋅ ⋅m13 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ● ⋅ ⋅ ⋅ ● ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅m11 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ●● ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅m12 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ●●●●● ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅m13 : ⋅ ● ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ● ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅m12 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ●●●● ⋅ ⋅ ⋅ ⋅ ⋅m13 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ● ⋅ ●● ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅m13 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ●●●●● ⋅ ⋅ ⋅ ⋅ ⋅m14 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ● ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅m14 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ● ⋅ ●● ⋅ ⋅ ⋅ ⋅ ⋅ ⋅m15 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ● ⋅ ● ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅m14 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ● ⋅ ⋅ ⋅ ● ⋅ ⋅ ⋅ ⋅m15 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ●●●●● ⋅ ⋅ ⋅ ⋅ ⋅Fig. 5: The 51 single neutral bits regrouped by up to where they are neutral.

m06 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ★⋅ ▴⋅ ⋅ ⋅ ⋅ ⋅ ⋅m07 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ☆⋅ ▵⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅m08 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅m09 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ◆ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅m10 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ◇ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅m11 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ☆⋅ ▵⋅ ⋅ ⋅ ⋅m12 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅m13 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅m14 : ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ◇ ⋅ ⋅ ⋅ ⋅ ⋅Fig. 6: Boomerang local collision patterns using symbols. First perturbation difference ishighlighted with a black symbol. Associated correcting differences are identified with thecorresponding white symbol.

21

B

Auxiliary material

m23:
m24:
m25:
m26:
m27:
m28:
m29:
m30:
m31:
m32:
.
m36:
m37:
m38:
m39:
m40:
m41:
m42:
m43:
m44:
m45:
m46:
m47:
m48:
m49:
m50:
m51:
m52:
m53:
m54:
m55:
m56:
m57:
m58:
m59:
m60:
.
m67:
m68:
m69:
m70:
m71:
m72:
m73:
m74:
m75:
m76:
m77:
m78:
m79:

. b . A a . . . . . . . . . . . . . . . . . . . . . . 0 . . . .
. . 0 0 . . . . . . . . . . . . . . . . . . . . . . . . B 0 . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . C c . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . B 0 . . . . . . . . . . . . . . . . . . . . . . d . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . d . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . e . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . E . . . .
. e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . e E . . .
. f f . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . E . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . e E . . . . . . . . . . . . . . . . . . . . . . . g . . . .
. . e E . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . g . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . g . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . g . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . h . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . h . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . h . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . h . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . i . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . i . . . . . . . . . . . . . . . . . . . . . . . . I . . . .
. . i . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . I . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . I . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . j. . . . . . . . . . . . . . . . . . . . . . . . . . J . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . k .
. . . . . . . . . . . . . . . . . . . . . . . . . K . . . . . l. J . . . . . . . . . . . . . . . . . . . . . . . . L . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . m . .
. . . . . . . . . . . . . . . . . . . . . . . . M . . . . . n .
. . . . . . . . . . . . . . . . . . . . . . . . . N . . . . p .
. L . . . . . . . . . . . . . . . . . . . . . . . P . . 1 . Q q. . . . . . . . . . . . . . . . . . . . . . . 0 . . . . . R r r. . . . . . . . . . . . . . . . . . . . . . . . 0 . . . 1 . . M. . . . . . . . . . . . . . . . . . . . . . . . . . . 1 . 0 . .

Fig. 7: Graphical representation of the linear equations of Table 5. A “.” means no equation,
a “0” or “1” means equal to 0 or 1, respectively. A pair of two identical letters x meansthat the two bits have the same value. A pair of two letters x and X means that the twobits have different values.

B.1

An example of two colliding PDF files

We give in Figure 8 the base64-encoded data of two compressed PDF files with same SHA-1
hash and distinct visual content. To check this, simply copy the string into a text file“coll.tar.bz2.b64” and type the following commands in a terminal:$ base64 --decode coll.tar.bz2.b64 > coll.tar.bz2$ tar -xvf coll.tar.bz2

22

QlpoOTFBWSZTWbL5V5MABl///////9Pv///v////+/////HDdK739/677r+W3/75rUNr4Aa/AAAAAAACgEVTRtQDQAaA0AAyGmjTQGmgAAANGgAaMIAYgGgAABo0AAAAAADQAIAGQ0MgDIGmjQA0DRk0AaMQ0D
QAGIANGgAAGRoNGQMRpo0GIGgBoGQAAIAGQ0MgDIGmjQA0DRk0AaMQ0DQAGIANGgAAGRoNGQMRpo0GI
GgBoGQAAIAGQ0MgDIGmjQA0DRk0AaMQ0DQAGIANGgAAGRoNGQMRpo0GIGgBoGQAAIAGQ0MgDIGmjQA0
DRk0AaMQ0DQAGIANGgAAGRoNGQMRpo0GIGgBoGQAABVTUExEZATTICnkxNR+p6E09JppoyamjGhkm0a
mmIyaekbUejU9JiGnqZqaaDxJ6m0JkZMQ2oaYmJ6gxqMyE2TUzJqfItligtJQJfYbl9Zy9QjQuB5mHQ
RdSSXCCTHMgmSDYmdOoOmLTBJWiCpOhMQYpQlOYpJjn+wQUJSTCEpOMekaFaaNB6glCC0hKEJdHr6Bm
UIHeph7YxS8WJYyGwgWnMTFJBDFSxSCCYljiEk7HZgJzJVDHJxMgY6tCEIIWgsKSlSZ0S8GckoIIF+5
51Ro4RCw260VCEpWJSlpWx/PMrLyVoyhWMAneDilBcUIeZ1j6NCkus0qUCWnahhk5KT4GpWMh3vm2nJ
WjTL9Qg+84iExBJhNKpbV9tvEN265t3fu/TKkt4rXFTsV+NcupJXhOhOhJMQQktrqt4K8mSh9M2DAO2
X7uXGVL9YQxUtzQmS7uBndL7M6R7vX869VxqPurenSuHYNq1yTXOfNWLwgvKlRlFYqLCs6OChDp0HuT
zCWscmGudLyqUuwVGG75nmyZhKpJyOE/pOZyHyrZxGM51DYIN+Jc8yVJgAykxKCEtW55MlfudLg3KG6
TtozalunXrroSxUpVLStWrWLFihMnVpkyZOrQnUrE6xq1CGtJlbAb5ShMbV1CZgqlKC0wCFCpMmUKSE
kvFLaZC8wHOCVAlvzaJQ/T+XLb5Dh5TNM67p6KZ4e4ZSGyVENx2O27LzrTIteAreTkMZpW95GS0CEJY
hMc4nToTJ0wQhKEyddaLb/rTqmgJSlkpnALxMhlNmuKEpkEkqhKUoEq3SoKUpIQcDgWlC0rYahMmLuP
Q0fHqZaF4v2W8IoJ2EhMhYmSw7qql27WJS+G4rUplToFi2rSv0NSrVvDUpltQ8Lv6F8pXyxmFBSxiLS
xglNC4uvXVKmAtusXy4YXGX1ixedEvXF1aX6t8adYnYCpC6rW1ZzdZYlCCxKEv8vpbqdSsXl8v1jCQv
0KEPxPTa/5rtWSF1dSgg4z4KjfIMNtgwWoWLEsRhKxsSA9ji7V5LRPwtumeQ8V57UtFSPIUmtQdOQfs
eI2Ly1DMtk4Jl8n927w34zrWG6Pi4jzC82js/46Rt2IZoadWxOtMInS2xYmcu8mOw9PLYxQ4bdfFw3Z
Pf/g2pzSwZDhGrZAl9lqky0W+yeanadC037xk496t0Dq3ctfmqmjgie8ln9k6Q0K1krb3dK9el4Xsu4
4LpGcenr2eQZ1s1IhOhnE56WnXf0BLWn9Xz15fMkzi4kpVxiTKGEpffErEEMvEeMZhUl6yD1SdeJYbx
zGNM3ak2TAaglLZlDCVnoM6wV5DRrycwF8Zh/fRsdmhkMfAO1duwknrsFwrzePWeMwl107DWzymxdQw
iSXx/lncnn75jL9mUzw2bUDqj20LTgtawxK2SlQg1CCZDQMgSpEqLjRMsykM9zbSIUqil0zNk7Nu+b5
J0DKZlhl9CtpGKgX5uyp0idoJ3we9bSrY7PupnUL5eWiDpV5mmnNUhOnYi8xyClkLbNmAXyoWk7GaVr
M2umkbpqHDzDymiKjetgzTocWNsJ2E0zPcfht46J4ipaXGCfF7fuO0a70c82bvqo3HceIcRlshgu73s
eO8BqlLIap2z5jTOY+T2ucCnBtAtva3aHdchJg9AJ5YdKHz7LoA3VKmeqxAlFyEnQLBxB2PAhAZ8Kvm
uR6ELXws1Qr13Nd1i4nsp189jqvaNzt+0nEnIaniuP1+/UOZdyfoZh57ku8sYHKdvfW/jYSUks+0rK+
qtte+py8jWL9cOJ0fV8rrH/t+85/p1z2N67p/ZsZ3JmdyliL7lrNxZUlx0MVIl6PxXOUuGOeArW3vuE
vJ2beoh7SGyZKHKbR2bBWO1d49JDIcVM6lQtu9UO8ec8pOnXmkcponBPLNM2CwZ9kNC/4ct6rQkPkQH
McV/8XckU4UJCy+VeTA==

Fig. 8: Two colliding PDF files.

23