diff --git a/slides/Kobeissi- Towards Formal Verification in Cryptographic Web Applications.pdf b/slides/Kobeissi- Towards Formal Verification in Cryptographic Web Applications.pdf
deleted file mode 100644
index 6b92b2802303f9b494fa24d046742d98f3165f3f..0000000000000000000000000000000000000000
Binary files a/slides/Kobeissi- Towards Formal Verification in Cryptographic Web Applications.pdf and /dev/null differ