diff --git a/gui/Changelog.txt b/gui/Changelog.txt
index 7909b58..d48d51b 100644
--- a/gui/Changelog.txt
+++ b/gui/Changelog.txt
@@ -73,7 +73,7 @@ Major new features:
 
 Additional protocol models:
 
-See <http://www.cs.ox.ac.uk/people/cas.cremers/tools/protocols.html> for a
+See <https://people.cispa.io/cas.cremers/tools/protocols.html> for a
 more high-level overview of selected protocol models.
 
  * IEEE 802.16e/WIMAX: PKMv2rsa and variants
diff --git a/gui/Gui/About.py b/gui/Gui/About.py
index fc26377..404a829 100644
--- a/gui/Gui/About.py
+++ b/gui/Gui/About.py
@@ -65,8 +65,8 @@ class AboutScyther(wx.Dialog):
     </p>
     <p>
         For news and updates visit the Scyther pages at 
-        <a target="_blank" href="http://www.cs.ox.ac.uk/people/cas.cremers/scyther/index.html">
-        http://www.cs.ox.ac.uk/people/cas.cremers/scyther/index.html</a>
+        <a target="_blank" href="https://people.cispa.io/cas.cremers/scyther/index.html">
+        https://people.cispa.io/cas.cremers/scyther/index.html</a>
     </p>
     <h5>License</h5>
     <p>
diff --git a/gui/README.md b/gui/README.md
index cfadb57..7334b81 100644
--- a/gui/README.md
+++ b/gui/README.md
@@ -3,7 +3,7 @@ The Scyther tool
 
 Scyther is a tool for the symbolic analysis of security protocols. It is
 developed by Cas Cremers, and is available from
-<http://www.cs.ox.ac.uk/people/cas.cremers/scyther/index.html>.
+<https://people.cispa.io/cas.cremers/scyther/index.html>.
 
 The below instructions apply only to the *distribution version* of
 the Scyther tool. If you are working from the source files, some paths may be