diff --git a/README.md b/README.md
index 99b2468..7deea48 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@
 
 This repository provides the following content:
 - [Full paper](./full_paper.pdf) containing the proofs
-- [Full paper with diff](./full_paper_colored.pdf) containing the full paper with changes compared to the previous submission marked in blue
+- [Paper with diff](./paper_diff.pdf) containing the paper with changes compared to the previous submission marked in blue
 - Subdirectory `wireguard/model` contains the Tamarin model together with instructions how to verify it
 - Subdirectory `wireguard/implementation` contains the verified Go implementation together with instructions how to verify and execute it.
 - The subdirectory `dh` contains the verified DH protocol model together with a verified Go and Java implementations. Additionally, `dh/faulty-go-implementation` contains a Go implementation that tries to send the DH private key in plaintext for which verification fails because the IO specification does not permit such a send operation.
diff --git a/full_paper.pdf b/full_paper.pdf
index 7c56607..492bffc 100644
Binary files a/full_paper.pdf and b/full_paper.pdf differ
diff --git a/paper_diff.pdf b/paper_diff.pdf
new file mode 100644
index 0000000..5de6bae
Binary files /dev/null and b/paper_diff.pdf differ