From ca6c8fe4994b408ee6c267f5ff9f1fddc4dd246f Mon Sep 17 00:00:00 2001
From: gaetan-sbt <166950915+gaetan-sbt@users.noreply.github.com>
Date: Mon, 31 Mar 2025 15:29:50 +0100
Subject: [PATCH] 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).
---
 draft/2025-04-02-this-week-in-rust.md | 1 +
 1 file changed, 1 insertion(+)

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