From 79d95b38943d3d3590b526019f00fe497bdafa5f Mon Sep 17 00:00:00 2001 From: Franziskus Kiefer Date: Tue, 21 Jan 2025 17:07:04 +0100 Subject: [PATCH] Fix announce-v0.1.md --- docs/blog/posts/announce-v0.1.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/blog/posts/announce-v0.1.md b/docs/blog/posts/announce-v0.1.md index 83d028e51..f20eba1de 100644 --- a/docs/blog/posts/announce-v0.1.md +++ b/docs/blog/posts/announce-v0.1.md @@ -54,6 +54,7 @@ few months. #### Hax in Action Over the past year, hax has proven its versatility in various projects: + - [Verifying Bertie](https://cryspen.com/post/hax-pv/): A TLS 1.3 implementation, verified with the ProVerif backend - [Verifying ML-KEM](https://cryspen.com/post/ml-kem-verification): A post quantum cryptographic algorithm verified with the F\* backend - [Verifying Smart Contracts](https://github.com/hacspec/hacspec.github.io/blob/master/coqpl24-paper9-13.pdf): Leveraging the Rocq backend for enhanced security verification.