rebuilding site Mon Aug 5 10:54:23 CEST 2024

cryspen · Aug 5, 2024 · 94af9c7 · 94af9c7
1 parent 9e60af1
commit 94af9c7
Showing 12 changed files with 150 additions and 80 deletions.
diff --git a/index.html b/index.html
@@ -1,7 +1,7 @@
 <!DOCTYPE html>
 <html lang="en">
   <head>
-	<meta name="generator" content="Hugo 0.129.0">
+	<meta name="generator" content="Hugo 0.130.0">
 
   <title>Cryspen </title>
 
@@ -57,8 +57,8 @@
 
   <meta itemprop="name" content="Cryspen">
   <meta itemprop="description" content="High Assurance Cryptography">
-  <meta itemprop="datePublished" content="2024-07-28T00:00:00+00:00">
-  <meta itemprop="dateModified" content="2024-07-28T00:00:00+00:00">
+  <meta itemprop="datePublished" content="2024-08-05T00:00:00+00:00">
+  <meta itemprop="dateModified" content="2024-08-05T00:00:00+00:00">
 
 
 

diff --git a/index.xml b/index.xml
@@ -6,8 +6,15 @@
     <description>Recent content on Cryspen</description>
     <generator>Hugo</generator>
     <language>en-us</language>
-    <lastBuildDate>Sun, 28 Jul 2024 00:00:00 +0000</lastBuildDate>
+    <lastBuildDate>Mon, 05 Aug 2024 00:00:00 +0000</lastBuildDate>
     <atom:link href="https://cryspen.com/index.xml" rel="self" type="application/rss+xml" />
+    <item>
+      <title>High Assurance IoT PQC</title>
+      <link>https://cryspen.com/post/pqc-iot-announce/</link>
+      <pubDate>Mon, 05 Aug 2024 00:00:00 +0000</pubDate>
+      <guid>https://cryspen.com/post/pqc-iot-announce/</guid>
+      <description>Together with our sister-company CryptoEng, we extend our libcrux cryptographic library with support for resource constrained IoT devices. Read their announcement here.</description>
+    </item>
     <item>
       <title>Cryspen @ FMCP 2024</title>
       <link>https://cryspen.com/post/fmcp/</link>

diff --git a/post/index.html b/post/index.html
@@ -56,8 +56,8 @@
 
   <meta itemprop="name" content="Cryspen">
   <meta itemprop="description" content="High Assurance Cryptography">
-  <meta itemprop="datePublished" content="2024-07-28T00:00:00+00:00">
-  <meta itemprop="dateModified" content="2024-07-28T00:00:00+00:00">
+  <meta itemprop="datePublished" content="2024-08-05T00:00:00+00:00">
+  <meta itemprop="dateModified" content="2024-08-05T00:00:00+00:00">
   <meta itemprop="keywords" content="Index">
 
 
@@ -239,6 +239,24 @@
       </div>
       <div class="row g-4 pb-5">
 
+        <div class="col-12 col-md-6 col-lg-4">
+          <a class="card text-decoration-none h-100" href="https://cryspen.com/post/pqc-iot-announce/">
+            <div class="aspect-ratio-62-5">
+
+
+  <img class="" src="https://cryspen.com/images/posts/pqc-iot.jpeg" alt="/images/posts/pqc-iot.jpeg" width="5000" height="5000">
+
+
+
+            </div>
+            <div class="card-body">
+              <h5 class="card-title fw-semibold">High Assurance IoT PQC</h5>
+              <p class="card-subtitle text-black-61">Securing the Internet of Things in the age of Quantum Computers.</p>
+              <p class="card-text text-black-61">Together with our sister-company CryptoEng, we extend our libcrux cryptographic library with support for resource constrained IoT devices. Read their announcement here.</p>
+            </div>
+          </a>
+        </div>
+
         <div class="col-12 col-md-6 col-lg-4">
           <a class="card text-decoration-none h-100" href="https://cryspen.com/post/fmcp/">
             <div class="aspect-ratio-62-5">
@@ -385,24 +403,6 @@ <h5 class="card-title fw-semibold">Verifying Libcrux&#39;s ML-KEM</h5>
           </a>
         </div>
 
-        <div class="col-12 col-md-6 col-lg-4">
-          <a class="card text-decoration-none h-100" href="https://cryspen.com/post/ml-kem-implementation/">
-            <div class="aspect-ratio-62-5">
-
-
-  <img class="" src="https://cryspen.com/images/posts/crystals.jpeg" alt="/images/posts/crystals.jpeg" width="1920" height="1280">
-
-
-
-            </div>
-            <div class="card-body">
-              <h5 class="card-title fw-semibold">Verified ML-KEM (Kyber) in Rust</h5>
-              <p class="card-subtitle text-black-61">We implemented ML-KEM in Rust and formally verified its correctness with hax</p>
-              <p class="card-text text-black-61">ML-KEM, previously known as Kyber, is the first post-quantum secure key-encapsulation mechanism (KEM) to get standardised by NIST in FIPS 203.</p>
-            </div>
-          </a>
-        </div>
-
       </div>
       <div class="row pb-5">
 

diff --git a/post/index.xml b/post/index.xml
@@ -6,8 +6,15 @@
     <description>Recent content on Cryspen</description>
     <generator>Hugo</generator>
     <language>en-us</language>
-    <lastBuildDate>Sun, 28 Jul 2024 00:00:00 +0000</lastBuildDate>
+    <lastBuildDate>Mon, 05 Aug 2024 00:00:00 +0000</lastBuildDate>
     <atom:link href="https://cryspen.com/post/index.xml" rel="self" type="application/rss+xml" />
+    <item>
+      <title>High Assurance IoT PQC</title>
+      <link>https://cryspen.com/post/pqc-iot-announce/</link>
+      <pubDate>Mon, 05 Aug 2024 00:00:00 +0000</pubDate>
+      <guid>https://cryspen.com/post/pqc-iot-announce/</guid>
+      <description>Together with our sister-company CryptoEng, we extend our libcrux cryptographic library with support for resource constrained IoT devices. Read their announcement here.</description>
+    </item>
     <item>
       <title>Cryspen @ FMCP 2024</title>
       <link>https://cryspen.com/post/fmcp/</link>

diff --git a/post/page/2/index.html b/post/page/2/index.html
@@ -56,8 +56,8 @@
 
   <meta itemprop="name" content="Cryspen">
   <meta itemprop="description" content="High Assurance Cryptography">
-  <meta itemprop="datePublished" content="2024-07-28T00:00:00+00:00">
-  <meta itemprop="dateModified" content="2024-07-28T00:00:00+00:00">
+  <meta itemprop="datePublished" content="2024-08-05T00:00:00+00:00">
+  <meta itemprop="dateModified" content="2024-08-05T00:00:00+00:00">
   <meta itemprop="keywords" content="Index">
 
 
@@ -239,6 +239,24 @@
       </div>
       <div class="row g-4 pb-5">
 
+        <div class="col-12 col-md-6 col-lg-4">
+          <a class="card text-decoration-none h-100" href="https://cryspen.com/post/ml-kem-implementation/">
+            <div class="aspect-ratio-62-5">
+
+
+  <img class="" src="https://cryspen.com/images/posts/crystals.jpeg" alt="/images/posts/crystals.jpeg" width="1920" height="1280">
+
+
+
+            </div>
+            <div class="card-body">
+              <h5 class="card-title fw-semibold">Verified ML-KEM (Kyber) in Rust</h5>
+              <p class="card-subtitle text-black-61">We implemented ML-KEM in Rust and formally verified its correctness with hax</p>
+              <p class="card-text text-black-61">ML-KEM, previously known as Kyber, is the first post-quantum secure key-encapsulation mechanism (KEM) to get standardised by NIST in FIPS 203.</p>
+            </div>
+          </a>
+        </div>
+
         <div class="col-12 col-md-6 col-lg-4">
           <a class="card text-decoration-none h-100" href="https://cryspen.com/post/welcome_jan_lucas/">
             <div class="aspect-ratio-62-5">
@@ -385,24 +403,6 @@ <h5 class="card-title fw-semibold">MLS - RFC 9420</h5>
           </a>
         </div>
 
-        <div class="col-12 col-md-6 col-lg-4">
-          <a class="card text-decoration-none h-100" href="https://cryspen.com/post/welcome_jonas/">
-            <div class="aspect-ratio-62-5">
-
-
-  <img class="" src="https://cryspen.com/images/jonas.jpg" alt="/images/jonas.jpg" width="6301" height="4205">
-
-
-
-            </div>
-            <div class="card-body">
-              <h5 class="card-title fw-semibold">Welcome Jonas</h5>
-              <p class="card-subtitle text-black-61"></p>
-              <p class="card-text text-black-61">📢 Exciting News! 🚀 We are thrilled to welcome Dr. Jonas Schneider-Bensch, to the Cryspen family as our newest R&amp;D Cryptography Engineer!</p>
-            </div>
-          </a>
-        </div>
-
       </div>
       <div class="row pb-5">
 

diff --git a/post/page/3/index.html b/post/page/3/index.html
@@ -56,8 +56,8 @@
 
   <meta itemprop="name" content="Cryspen">
   <meta itemprop="description" content="High Assurance Cryptography">
-  <meta itemprop="datePublished" content="2024-07-28T00:00:00+00:00">
-  <meta itemprop="dateModified" content="2024-07-28T00:00:00+00:00">
+  <meta itemprop="datePublished" content="2024-08-05T00:00:00+00:00">
+  <meta itemprop="dateModified" content="2024-08-05T00:00:00+00:00">
   <meta itemprop="keywords" content="Index">
 
 
@@ -239,6 +239,24 @@
       </div>
       <div class="row g-4 pb-5">
 
+        <div class="col-12 col-md-6 col-lg-4">
+          <a class="card text-decoration-none h-100" href="https://cryspen.com/post/welcome_jonas/">
+            <div class="aspect-ratio-62-5">
+
+
+  <img class="" src="https://cryspen.com/images/jonas.jpg" alt="/images/jonas.jpg" width="6301" height="4205">
+
+
+
+            </div>
+            <div class="card-body">
+              <h5 class="card-title fw-semibold">Welcome Jonas</h5>
+              <p class="card-subtitle text-black-61"></p>
+              <p class="card-text text-black-61">📢 Exciting News! 🚀 We are thrilled to welcome Dr. Jonas Schneider-Bensch, to the Cryspen family as our newest R&amp;D Cryptography Engineer!</p>
+            </div>
+          </a>
+        </div>
+
         <div class="col-12 col-md-6 col-lg-4">
           <a class="card text-decoration-none h-100" href="https://cryspen.com/post/rwc-2023/">
             <div class="aspect-ratio-62-5">

diff --git a/sitemap.xml b/sitemap.xml
@@ -3,10 +3,25 @@
   xmlns:xhtml="http://www.w3.org/1999/xhtml">
   <url>
     <loc>https://cryspen.com/</loc>
-    <lastmod>2024-07-28T00:00:00+00:00</lastmod>
+    <lastmod>2024-08-05T00:00:00+00:00</lastmod>
   </url><url>
     <loc>https://cryspen.com/post/</loc>
-    <lastmod>2024-07-28T00:00:00+00:00</lastmod>
+    <lastmod>2024-08-05T00:00:00+00:00</lastmod>
+  </url><url>
+    <loc>https://cryspen.com/post/pqc-iot-announce/</loc>
+    <lastmod>2024-08-05T00:00:00+00:00</lastmod>
+  </url><url>
+    <loc>https://cryspen.com/tags/index/</loc>
+    <lastmod>2024-08-05T00:00:00+00:00</lastmod>
+  </url><url>
+    <loc>https://cryspen.com/tags/iot/</loc>
+    <lastmod>2024-08-05T00:00:00+00:00</lastmod>
+  </url><url>
+    <loc>https://cryspen.com/tags/pq/</loc>
+    <lastmod>2024-08-05T00:00:00+00:00</lastmod>
+  </url><url>
+    <loc>https://cryspen.com/tags/</loc>
+    <lastmod>2024-08-05T00:00:00+00:00</lastmod>
   </url><url>
     <loc>https://cryspen.com/post/fmcp/</loc>
     <lastmod>2024-07-28T00:00:00+00:00</lastmod>
@@ -16,15 +31,9 @@
   </url><url>
     <loc>https://cryspen.com/tags/hax/</loc>
     <lastmod>2024-07-28T00:00:00+00:00</lastmod>
-  </url><url>
-    <loc>https://cryspen.com/tags/index/</loc>
-    <lastmod>2024-07-28T00:00:00+00:00</lastmod>
   </url><url>
     <loc>https://cryspen.com/tags/libcrux/</loc>
     <lastmod>2024-07-28T00:00:00+00:00</lastmod>
-  </url><url>
-    <loc>https://cryspen.com/tags/</loc>
-    <lastmod>2024-07-28T00:00:00+00:00</lastmod>
   </url><url>
     <loc>https://cryspen.com/post/hax-sandbox/</loc>
     <lastmod>2024-07-19T00:00:00+00:00</lastmod>
@@ -55,9 +64,6 @@
   </url><url>
     <loc>https://cryspen.com/tags/mls/</loc>
     <lastmod>2024-04-23T00:00:00+00:00</lastmod>
-  </url><url>
-    <loc>https://cryspen.com/tags/pq/</loc>
-    <lastmod>2024-04-23T00:00:00+00:00</lastmod>
   </url><url>
     <loc>https://cryspen.com/tags/openmls/</loc>
     <lastmod>2024-04-11T00:00:00+00:00</lastmod>

diff --git a/tags/index.html b/tags/index.html
@@ -56,8 +56,8 @@
 
   <meta itemprop="name" content="Tags">
   <meta itemprop="description" content="High Assurance Cryptography">
-  <meta itemprop="datePublished" content="2024-07-28T00:00:00+00:00">
-  <meta itemprop="dateModified" content="2024-07-28T00:00:00+00:00">
+  <meta itemprop="datePublished" content="2024-08-05T00:00:00+00:00">
+  <meta itemprop="dateModified" content="2024-08-05T00:00:00+00:00">
 
 
 

diff --git a/tags/index.xml b/tags/index.xml
@@ -6,8 +6,29 @@
     <description>Recent content in Tags on Cryspen</description>
     <generator>Hugo</generator>
     <language>en-us</language>
-    <lastBuildDate>Sun, 28 Jul 2024 00:00:00 +0000</lastBuildDate>
+    <lastBuildDate>Mon, 05 Aug 2024 00:00:00 +0000</lastBuildDate>
     <atom:link href="https://cryspen.com/tags/index.xml" rel="self" type="application/rss+xml" />
+    <item>
+      <title>Index</title>
+      <link>https://cryspen.com/tags/index/</link>
+      <pubDate>Mon, 05 Aug 2024 00:00:00 +0000</pubDate>
+      <guid>https://cryspen.com/tags/index/</guid>
+      <description></description>
+    </item>
+    <item>
+      <title>IoT</title>
+      <link>https://cryspen.com/tags/iot/</link>
+      <pubDate>Mon, 05 Aug 2024 00:00:00 +0000</pubDate>
+      <guid>https://cryspen.com/tags/iot/</guid>
+      <description></description>
+    </item>
+    <item>
+      <title>PQ</title>
+      <link>https://cryspen.com/tags/pq/</link>
+      <pubDate>Mon, 05 Aug 2024 00:00:00 +0000</pubDate>
+      <guid>https://cryspen.com/tags/pq/</guid>
+      <description></description>
+    </item>
     <item>
       <title>Hacspec</title>
       <link>https://cryspen.com/tags/hacspec/</link>
@@ -22,13 +43,6 @@
       <guid>https://cryspen.com/tags/hax/</guid>
       <description></description>
     </item>
-    <item>
-      <title>Index</title>
-      <link>https://cryspen.com/tags/index/</link>
-      <pubDate>Sun, 28 Jul 2024 00:00:00 +0000</pubDate>
-      <guid>https://cryspen.com/tags/index/</guid>
-      <description></description>
-    </item>
     <item>
       <title>Libcrux</title>
       <link>https://cryspen.com/tags/libcrux/</link>
@@ -78,13 +92,6 @@
       <guid>https://cryspen.com/tags/mls/</guid>
       <description></description>
     </item>
-    <item>
-      <title>PQ</title>
-      <link>https://cryspen.com/tags/pq/</link>
-      <pubDate>Tue, 23 Apr 2024 00:00:00 +0000</pubDate>
-      <guid>https://cryspen.com/tags/pq/</guid>
-      <description></description>
-    </item>
     <item>
       <title>OpenMLS</title>
       <link>https://cryspen.com/tags/openmls/</link>

diff --git a/tags/index/index.html b/tags/index/index.html
@@ -56,8 +56,8 @@
 
   <meta itemprop="name" content="Index">
   <meta itemprop="description" content="High Assurance Cryptography">
-  <meta itemprop="datePublished" content="2024-07-28T00:00:00+00:00">
-  <meta itemprop="dateModified" content="2024-07-28T00:00:00+00:00">
+  <meta itemprop="datePublished" content="2024-08-05T00:00:00+00:00">
+  <meta itemprop="dateModified" content="2024-08-05T00:00:00+00:00">
 
 
 

diff --git a/tags/pq/index.html b/tags/pq/index.html
@@ -56,8 +56,8 @@
 
   <meta itemprop="name" content="PQ">
   <meta itemprop="description" content="High Assurance Cryptography">
-  <meta itemprop="datePublished" content="2024-04-23T00:00:00+00:00">
-  <meta itemprop="dateModified" content="2024-04-23T00:00:00+00:00">
+  <meta itemprop="datePublished" content="2024-08-05T00:00:00+00:00">
+  <meta itemprop="dateModified" content="2024-08-05T00:00:00+00:00">
 
 
 
@@ -243,6 +243,24 @@ <h2 class="fs-1 fw-bold text-center text-primary pb-3">PQ</h2>
       </div>
       <div class="row g-4 pb-5">
 
+        <div class="col-12 col-md-6 col-lg-4">
+          <a class="card text-decoration-none h-100" href="https://cryspen.com/post/pqc-iot-announce/">
+            <div class="aspect-ratio-62-5">
+
+
+  <img class="" src="https://cryspen.com/images/posts/pqc-iot.jpeg" alt="/images/posts/pqc-iot.jpeg" width="5000" height="5000">
+
+
+
+            </div>
+            <div class="card-body">
+              <h5 class="card-title fw-semibold">High Assurance IoT PQC</h5>
+              <p class="card-subtitle text-black-61">Securing the Internet of Things in the age of Quantum Computers.</p>
+              <p class="card-text text-black-61">Together with our sister-company CryptoEng, we extend our libcrux cryptographic library with support for resource constrained IoT devices. Read their announcement here.</p>
+            </div>
+          </a>
+        </div>
+
         <div class="col-12 col-md-6 col-lg-4">
           <a class="card text-decoration-none h-100" href="https://cryspen.com/post/rwc2024/">
             <div class="aspect-ratio-62-5">

diff --git a/tags/pq/index.xml b/tags/pq/index.xml
@@ -6,8 +6,15 @@
     <description>Recent content in PQ on Cryspen</description>
     <generator>Hugo</generator>
     <language>en-us</language>
-    <lastBuildDate>Tue, 23 Apr 2024 00:00:00 +0000</lastBuildDate>
+    <lastBuildDate>Mon, 05 Aug 2024 00:00:00 +0000</lastBuildDate>
     <atom:link href="https://cryspen.com/tags/pq/index.xml" rel="self" type="application/rss+xml" />
+    <item>
+      <title>High Assurance IoT PQC</title>
+      <link>https://cryspen.com/post/pqc-iot-announce/</link>
+      <pubDate>Mon, 05 Aug 2024 00:00:00 +0000</pubDate>
+      <guid>https://cryspen.com/post/pqc-iot-announce/</guid>
+      <description>Together with our sister-company CryptoEng, we extend our libcrux cryptographic library with support for resource constrained IoT devices. Read their announcement here.</description>
+    </item>
     <item>
       <title>Conference Talks</title>
       <link>https://cryspen.com/post/rwc2024/</link>