rebuilding site Tue Aug 20 18:09:38 PDT 2024

about/index.html

@@ -291,7 +291,7 @@ <h2 class="display-1 fw-bold text-center text-primary pb-3">About Cryspen</h2>
         <img
             class="img-fluid rounded-circle"
             class="img-fluid"
-            src="https://cryspen.com/images/franziskus_hu8239521875621889102.jpg"
+            src="https://cryspen.com/images/franziskus_hu3bc014a75079c34bb907fbf6d5a69568_649030_cae265e2a1773062a3e1df4a4c744e78.jpg"
             alt="/images/franziskus.jpg"
             width="400"
             height="400"
@@ -407,7 +407,7 @@ <h2 class="display-1 fw-bold text-center text-primary pb-3">About Cryspen</h2>
         <img
             class="img-fluid rounded-circle"
             class="img-fluid"
-            src="https://cryspen.com/images/Karthik_hu6664294871752699349.jpg"
+            src="https://cryspen.com/images/Karthik_hu57e0e0885bc0d97267aba77f5e9c8b6b_2474930_a3da3bcc932c69a8eaba47561bb49251.jpg"
             alt="/images/Karthik.jpg"
             width="398"
             height="398"
@@ -464,7 +464,7 @@ <h2 class="display-1 fw-bold text-center text-primary pb-3">About Cryspen</h2>
         <img
             class="img-fluid rounded-circle"
             class="img-fluid"
-            src="https://cryspen.com/images/undraw_male_avatar_cryspen_hu8336454302792475043.png"
+            src="https://cryspen.com/images/undraw_male_avatar_cryspen_huc4d462ae54021d551a9aa508698d7201_13815_1730ecc071216cb9332f261ade8ea885.png"
             alt="/images/undraw_male_avatar_cryspen.png"
             width="400"
             height="400"
@@ -521,7 +521,7 @@ <h2 class="display-1 fw-bold text-center text-primary pb-3">About Cryspen</h2>
         <img
             class="img-fluid rounded-circle"
             class="img-fluid"
-            src="https://cryspen.com/images/jonas_hu12510784085274558809.jpg"
+            src="https://cryspen.com/images/jonas_hu3cfff442c5a91e79a26046521c466fde_5953195_6aea18c1f312e7d898abf069901957bf.jpg"
             alt="/images/jonas.jpg"
             width="267"
             height="267"
@@ -578,7 +578,7 @@ <h2 class="display-1 fw-bold text-center text-primary pb-3">About Cryspen</h2>
         <img
             class="img-fluid rounded-circle"
             class="img-fluid"
-            src="https://cryspen.com/images/lucas_hu1387702743353212719.jpg"
+            src="https://cryspen.com/images/lucas_hu1f92058faf34914c2dedf8738b80ec45_22193_c12a69a591e7ced17cd6b1b0cba4aa7d.jpg"
             alt="/images/lucas.jpg"
             width="400"
             height="400"
@@ -635,7 +635,7 @@ <h2 class="display-1 fw-bold text-center text-primary pb-3">About Cryspen</h2>
         <img
             class="img-fluid rounded-circle"
             class="img-fluid"
-            src="https://cryspen.com/images/maxime_hu11135494737972670791.png"
+            src="https://cryspen.com/images/maxime_hud16fa425acf8c225ad6740e69db1fe60_4670679_79cf7217480be84bdb352fb000c7fa76.png"
             alt="/images/maxime.png"
             width="400"
             height="400"

circus/index.html

@@ -297,6 +297,21 @@ <h2 class="fs-1 fw-bold text-center text-primary pb-3">
 
     <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/crypto2024/">
+          <div class="aspect-ratio-62-5">
+
+  <img class="" src="https://cryspen.com/images/posts/crypto-talk.jpeg" alt="/images/posts/crypto-talk.jpeg" width="2048" height="1536">
+
+
+          </div>
+          <div class="card-body">
+            <h5 class="card-title fw-semibold">Cryspen @ Crypto 2024</h5>
+            <p class="card-text text-black-61">Crypto is the top international conference on cryptography and is held every year (since 1981) in Santa Barbara, California. This year, Crypto invited Karthikeyan Bhargavan, our Chief Research Scientist, to give a talk on the use of formal methods in cryptography.</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/fospqc/">
           <div class="aspect-ratio-62-5">
@@ -417,21 +432,6 @@ <h5 class="card-title fw-semibold">Announcing Campus Cyber Circus Project</h5>
           </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/scrambledb/">
-          <div class="aspect-ratio-62-5">
-
-  <img class="" src="https://cryspen.com/images/posts/pexels-egor-kamelev-751689.jpeg" alt="/images/posts/pexels-egor-kamelev-751689.jpeg" width="1279" height="828">
-
-
-          </div>
-          <div class="card-body">
-            <h5 class="card-title fw-semibold">Specifying Oblivious Pseudonymization</h5>
-            <p class="card-text text-black-61">In this blog post we announce an executable specification in the hacspec specification language for the ScrambleDB pseudonymization system, developed by Cryspen as part of the BMBF ATLAS project.</p>
-          </div>
-        </a>
-      </div>
 
     </div>
     <div class="row pb-5">

hacspec/index.html

@@ -295,6 +295,21 @@ <h2 class="fs-1 fw-bold text-center text-primary pb-3">
 
     <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/crypto2024/">
+          <div class="aspect-ratio-62-5">
+
+  <img class="" src="https://cryspen.com/images/posts/crypto-talk.jpeg" alt="/images/posts/crypto-talk.jpeg" width="2048" height="1536">
+
+
+          </div>
+          <div class="card-body">
+            <h5 class="card-title fw-semibold">Cryspen @ Crypto 2024</h5>
+            <p class="card-text text-black-61">Crypto is the top international conference on cryptography and is held every year (since 1981) in Santa Barbara, California. This year, Crypto invited Karthikeyan Bhargavan, our Chief Research Scientist, to give a talk on the use of formal methods in cryptography.</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">
@@ -384,25 +399,29 @@ <h5 class="card-title fw-semibold">Cryspen @ RWC 2023</h5>
           </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/hpke_spec/">
-          <div class="aspect-ratio-62-5">
-
-  <img class="" src="https://cryspen.com/images/posts/hpke_spec.png" alt="/images/posts/hpke_spec.png" width="1229" height="908">
-
-
-          </div>
-          <div class="card-body">
-            <h5 class="card-title fw-semibold">An Executable HPKE Specification</h5>
-            <p class="card-text text-black-61">HPKE, published as RFC 9180, describes a scheme for hybrid public key encryption.
-📚 Read our TL;DR on HPKE if you need more background on HPKE.</p>
-          </div>
-        </a>
-      </div>
-
+
     </div>
-    <div class="row pb-5"></div>
+    <div class="row pb-5">
+    <ul class="pagination pagination-default">
+      <li class="page-item disabled">
+        <a aria-disabled="true" aria-label="First" class="page-link" role="button" tabindex="-1"><span aria-hidden="true">&laquo;&laquo;</span></a>
+      </li>
+      <li class="page-item disabled">
+        <a aria-disabled="true" aria-label="Previous" class="page-link" role="button" tabindex="-1"><span aria-hidden="true">&laquo;</span></a>
+      </li>
+      <li class="page-item active">
+        <a aria-current="page" aria-label="Page 1" class="page-link" role="button">1</a>
+      </li>
+      <li class="page-item">
+        <a href="/tags/hacspec/page/2/" aria-label="Page 2" class="page-link" role="button">2</a>
+      </li>
+      <li class="page-item">
+        <a href="/tags/hacspec/page/2/" aria-label="Next" class="page-link" role="button"><span aria-hidden="true">&raquo;</span></a>
+      </li>
+      <li class="page-item">
+        <a href="/tags/hacspec/page/2/" aria-label="Last" class="page-link" role="button"><span aria-hidden="true">&raquo;&raquo;</span></a>
+      </li>
+    </ul></div>
 
   </div>
 </section>

hax/index.html

@@ -353,6 +353,21 @@ <h2 class="fs-1 fw-bold text-center text-primary pb-3">
 
     <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/crypto2024/">
+          <div class="aspect-ratio-62-5">
+
+  <img class="" src="https://cryspen.com/images/posts/crypto-talk.jpeg" alt="/images/posts/crypto-talk.jpeg" width="2048" height="1536">
+
+
+          </div>
+          <div class="card-body">
+            <h5 class="card-title fw-semibold">Cryspen @ Crypto 2024</h5>
+            <p class="card-text text-black-61">Crypto is the top international conference on cryptography and is held every year (since 1981) in Santa Barbara, California. This year, Crypto invited Karthikeyan Bhargavan, our Chief Research Scientist, to give a talk on the use of formal methods in cryptography.</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/fospqc/">
           <div class="aspect-ratio-62-5">
@@ -473,21 +488,6 @@ <h5 class="card-title fw-semibold">Announcing Campus Cyber Circus Project</h5>
           </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/scrambledb/">
-          <div class="aspect-ratio-62-5">
-
-  <img class="" src="https://cryspen.com/images/posts/pexels-egor-kamelev-751689.jpeg" alt="/images/posts/pexels-egor-kamelev-751689.jpeg" width="1279" height="828">
-
-
-          </div>
-          <div class="card-body">
-            <h5 class="card-title fw-semibold">Specifying Oblivious Pseudonymization</h5>
-            <p class="card-text text-black-61">In this blog post we announce an executable specification in the hacspec specification language for the ScrambleDB pseudonymization system, developed by Cryspen as part of the BMBF ATLAS project.</p>
-          </div>
-        </a>
-      </div>
 
     </div>
     <div class="row pb-5">

index.html

@@ -1,7 +1,7 @@
 <!DOCTYPE html>
 <html lang="en">
   <head>
-	<meta name="generator" content="Hugo 0.133.0">
+	<meta name="generator" content="Hugo 0.129.0">
 
   <title>Cryspen </title>
 
@@ -56,8 +56,8 @@
 
   <meta itemprop="name" content="Cryspen">
   <meta itemprop="description" content="High Assurance Software">
-  <meta itemprop="datePublished" content="2024-08-19T00:00:00+00:00">
-  <meta itemprop="dateModified" content="2024-08-19T00:00:00+00:00">
+  <meta itemprop="datePublished" content="2024-08-20T00:00:00+00:00">
+  <meta itemprop="dateModified" content="2024-08-20T00:00:00+00:00">
 
 
 

index.xml

@@ -6,8 +6,15 @@
     <description>Recent content on Cryspen</description>
     <generator>Hugo</generator>
     <language>en-us</language>
-    <lastBuildDate>Mon, 19 Aug 2024 00:00:00 +0000</lastBuildDate>
+    <lastBuildDate>Tue, 20 Aug 2024 00:00:00 +0000</lastBuildDate>
     <atom:link href="https://cryspen.com/index.xml" rel="self" type="application/rss+xml" />
+    <item>
+      <title>Cryspen @ Crypto 2024</title>
+      <link>https://cryspen.com/post/crypto2024/</link>
+      <pubDate>Tue, 20 Aug 2024 00:00:00 +0000</pubDate>
+      <guid>https://cryspen.com/post/crypto2024/</guid>
+      <description>Crypto is the top international conference on cryptography and is held every year (since 1981) in Santa Barbara, California. This year, Crypto invited Karthikeyan Bhargavan, our Chief Research Scientist, to give a talk on the use of formal methods in cryptography.</description>
+    </item>
     <item>
       <title>Formally Verified Post-Quantum Cryptography</title>
       <link>https://cryspen.com/post/fospqc/</link>

libcrux/index.html

@@ -332,6 +332,21 @@ <h5 class="card-title fw-semibold">HACL Packages</h5>
 
     <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/crypto2024/">
+          <div class="aspect-ratio-62-5">
+
+  <img class="" src="https://cryspen.com/images/posts/crypto-talk.jpeg" alt="/images/posts/crypto-talk.jpeg" width="2048" height="1536">
+
+
+          </div>
+          <div class="card-body">
+            <h5 class="card-title fw-semibold">Cryspen @ Crypto 2024</h5>
+            <p class="card-text text-black-61">Crypto is the top international conference on cryptography and is held every year (since 1981) in Santa Barbara, California. This year, Crypto invited Karthikeyan Bhargavan, our Chief Research Scientist, to give a talk on the use of formal methods in cryptography.</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">
@@ -421,25 +436,29 @@ <h5 class="card-title fw-semibold">Cryspen @ RWC 2023</h5>
           </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/hpke_spec/">
-          <div class="aspect-ratio-62-5">
-
-  <img class="" src="https://cryspen.com/images/posts/hpke_spec.png" alt="/images/posts/hpke_spec.png" width="1229" height="908">
-
-
-          </div>
-          <div class="card-body">
-            <h5 class="card-title fw-semibold">An Executable HPKE Specification</h5>
-            <p class="card-text text-black-61">HPKE, published as RFC 9180, describes a scheme for hybrid public key encryption.
-📚 Read our TL;DR on HPKE if you need more background on HPKE.</p>
-          </div>
-        </a>
-      </div>
-
+
     </div>
-    <div class="row pb-5"></div>
+    <div class="row pb-5">
+    <ul class="pagination pagination-default">
+      <li class="page-item disabled">
+        <a aria-disabled="true" aria-label="First" class="page-link" role="button" tabindex="-1"><span aria-hidden="true">&laquo;&laquo;</span></a>
+      </li>
+      <li class="page-item disabled">
+        <a aria-disabled="true" aria-label="Previous" class="page-link" role="button" tabindex="-1"><span aria-hidden="true">&laquo;</span></a>
+      </li>
+      <li class="page-item active">
+        <a aria-current="page" aria-label="Page 1" class="page-link" role="button">1</a>
+      </li>
+      <li class="page-item">
+        <a href="/tags/hacspec/page/2/" aria-label="Page 2" class="page-link" role="button">2</a>
+      </li>
+      <li class="page-item">
+        <a href="/tags/hacspec/page/2/" aria-label="Next" class="page-link" role="button"><span aria-hidden="true">&raquo;</span></a>
+      </li>
+      <li class="page-item">
+        <a href="/tags/hacspec/page/2/" aria-label="Last" class="page-link" role="button"><span aria-hidden="true">&raquo;&raquo;</span></a>
+      </li>
+    </ul></div>
 
   </div>
 </section>

post/index.html

@@ -55,8 +55,8 @@
 
   <meta itemprop="name" content="Cryspen">
   <meta itemprop="description" content="High Assurance Software">
-  <meta itemprop="datePublished" content="2024-08-19T00:00:00+00:00">
-  <meta itemprop="dateModified" content="2024-08-19T00:00:00+00:00">
+  <meta itemprop="datePublished" content="2024-08-20T00:00:00+00:00">
+  <meta itemprop="dateModified" content="2024-08-20T00:00:00+00:00">
   <meta itemprop="keywords" content="Index">
 
 
@@ -244,6 +244,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/crypto2024/">
+            <div class="aspect-ratio-62-5">
+
+
+  <img class="" src="https://cryspen.com/images/posts/crypto-talk.jpeg" alt="/images/posts/crypto-talk.jpeg" width="2048" height="1536">
+
+
+
+            </div>
+            <div class="card-body">
+              <h5 class="card-title fw-semibold">Cryspen @ Crypto 2024</h5>
+              <p class="card-subtitle text-black-61">Karthik gave an invited talk on Formal Methods for Cryptography at Crypto 2024.</p>
+              <p class="card-text text-black-61">Crypto is the top international conference on cryptography and is held every year (since 1981) in Santa Barbara, California. This year, Crypto invited Karthikeyan Bhargavan, our Chief Research Scientist, to give a talk on the use of formal methods in cryptography.</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/fospqc/">
             <div class="aspect-ratio-62-5">
@@ -389,25 +407,6 @@ <h5 class="card-title fw-semibold">Cryptographic protocol verification with hax<
           </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">
-
-
-  <img class="" src="https://cryspen.com/images/posts/conference-talks-2024.jpg" alt="/images/posts/conference-talks-2024.jpg" width="1920" height="1280">
-
-
-
-            </div>
-            <div class="card-body">
-              <h5 class="card-title fw-semibold">Conference Talks</h5>
-              <p class="card-subtitle text-black-61">We have been travelling the world to talk about our recent work</p>
-              <p class="card-text text-black-61">Cryspen attended a number of conference in April and March. Here is a list of all slides and videos.
-We will update links when more resources become available.</p>
-            </div>
-          </a>
-        </div>
-
       </div>
       <div class="row pb-5">
 

post/index.xml

@@ -6,8 +6,15 @@
     <description>Recent content on Cryspen</description>
     <generator>Hugo</generator>
     <language>en-us</language>
-    <lastBuildDate>Mon, 19 Aug 2024 00:00:00 +0000</lastBuildDate>
+    <lastBuildDate>Tue, 20 Aug 2024 00:00:00 +0000</lastBuildDate>
     <atom:link href="https://cryspen.com/post/index.xml" rel="self" type="application/rss+xml" />
+    <item>
+      <title>Cryspen @ Crypto 2024</title>
+      <link>https://cryspen.com/post/crypto2024/</link>
+      <pubDate>Tue, 20 Aug 2024 00:00:00 +0000</pubDate>
+      <guid>https://cryspen.com/post/crypto2024/</guid>
+      <description>Crypto is the top international conference on cryptography and is held every year (since 1981) in Santa Barbara, California. This year, Crypto invited Karthikeyan Bhargavan, our Chief Research Scientist, to give a talk on the use of formal methods in cryptography.</description>
+    </item>
     <item>
       <title>Formally Verified Post-Quantum Cryptography</title>
       <link>https://cryspen.com/post/fospqc/</link>