diff --git a/teaching.rkt b/teaching.rkt
index 477b9d13..9b3d25d1 100644
--- a/teaching.rkt
+++ b/teaching.rkt
@@ -114,6 +114,12 @@
                  }
                  @li{
                    @strong{7480} Special Topics in Programming Languages
+                   @br{}
+                   @indent{} F 2024 Formal Security for Cryptography @a[href:
+                                                                         "https://gancher.dev/CS7480_Fall2024/class.html"
+                                                                         target:
+                                                                         "_blank"]{link}
+@instructor{Joshua Gancher}
                    @br{}
                    @indent{} S 2024 @instructor{Olin Shivers}
                    @br{}