rebuilding site Wed Jun 5 15:52:33 CEST 2024

cryspen · Jun 5, 2024 · 2d8b0ca · 2d8b0ca
1 parent 38aa900
commit 2d8b0ca
Show file tree

Hide file tree

Showing 7 changed files with 1,012 additions and 0 deletions.
diff --git a/images/posts/pexels-punchbrandstock-2249429.jpg b/images/posts/pexels-punchbrandstock-2249429.jpg
diff --git a/post/hax-pv/index.html b/post/hax-pv/index.html
diff --git a/post/hax-pv/pexels-punchbrandstock-2249429.jpg b/post/hax-pv/pexels-punchbrandstock-2249429.jpg
diff --git a/post/hax-pv/tls13-handshake.png b/post/hax-pv/tls13-handshake.png
diff --git a/tags/proverif/index.html b/tags/proverif/index.html
diff --git a/tags/proverif/index.xml b/tags/proverif/index.xml
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="utf-8" standalone="yes"?>
+<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
+  <channel>
+    <title>ProVerif on Cryspen</title>
+    <link>https://cryspen.com/tags/proverif/</link>
+    <description>Recent content in ProVerif on Cryspen</description>
+    <generator>Hugo</generator>
+    <language>en-us</language>
+    <lastBuildDate>Wed, 05 Jun 2024 00:00:00 +0000</lastBuildDate>
+    <atom:link href="https://cryspen.com/tags/proverif/index.xml" rel="self" type="application/rss+xml" />
+    <item>
+      <title>Cryptographic protocol verification with hax</title>
+      <link>https://cryspen.com/post/hax-pv/</link>
+      <pubDate>Wed, 05 Jun 2024 00:00:00 +0000</pubDate>
+      <guid>https://cryspen.com/post/hax-pv/</guid>
+      <description>This blog post details an example of how to use our hax toolchain for verifying the security of cryptographic protocol implementations written in Rust.</description>
+    </item>
+  </channel>
+</rss>
diff --git a/tags/proverif/page/1/index.html b/tags/proverif/page/1/index.html
@@ -0,0 +1,10 @@
+<!DOCTYPE html>
+<html lang="en-us">
+  <head>
+    <title>https://cryspen.com/tags/proverif/</title>
+    <link rel="canonical" href="https://cryspen.com/tags/proverif/">
+    <meta name="robots" content="noindex">
+    <meta charset="utf-8">
+    <meta http-equiv="refresh" content="0; url=https://cryspen.com/tags/proverif/">
+  </head>
+</html>