Added link to "Real-World Verification of Software for Cryptographic Applications" blogpost.

This blogpost describes how SandboxAQ and Cryspen formally verified components of a cryptographic (meta)library written in Rust (sandwich).

Author: gaetan-sbt

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