Merge pull request #6518 from gaetan-sbt/patch-1

mariannegoldin · web-flow · commit 7c951d5d732a · 2025-03-31T23:47:16.000-07:00
Add link to "Real-World Verification of Software for Cryptographic …
diff --git a/draft/2025-04-02-this-week-in-rust.md b/draft/2025-04-02-this-week-in-rust.md
@@ -50,6 +50,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
 
