diff --git a/README.md b/README.md
index 82daf24..c7709b6 100644
--- a/README.md
+++ b/README.md
@@ -62,7 +62,7 @@
 ### LLVM
 
 * [KLEE](http://klee.github.io/) - Symbolic execution engine built on LLVM.
-* [Cloud9](http://cloud9.epfl.ch/) - Parallel symbolic execution engine built on KLEE.
+* [Cloud9](https://dslab.epfl.ch/research/cloud9) - Parallel symbolic execution engine built on KLEE.
 * [Kite](http://www.cs.ubc.ca/labs/isd/Projects/Kite/) - Based on KLEE and LLVM.
 * [SymCC](https://github.com/eurecom-s3/symcc) - A compiler wrapper which embeds symbolic execution into the program during compilation, and an associated run-time support library.
 * [GenSym](https://github.com/Generative-Program-Analysis/GenSym) - A compiler for parallel fork-based symbolic execution.