diff --git a/draft/2025-04-02-this-week-in-rust.md b/draft/2025-04-02-this-week-in-rust.md
index 76c281316..7c882a888 100644
--- a/draft/2025-04-02-this-week-in-rust.md
+++ b/draft/2025-04-02-this-week-in-rust.md
@@ -44,6 +44,7 @@ and just ask the editors to select the category.
 ### Research
 
 ### Miscellaneous
+* [Real-World Verification of Software for Cryptographic Applications](https://cryptographycaffe.sandboxaq.com/posts/real-world-verification-of-software-for-cryptographic-applications/)
 
 ## Crate of the Week