From d83791d26f7b196803038c75d26ea405e8f38c13 Mon Sep 17 00:00:00 2001 From: Franziskus Kiefer Date: Wed, 21 Aug 2024 07:10:13 +0200 Subject: [PATCH] Revert "rebuilding site Tue Aug 20 18:09:38 PDT 2024" This reverts commit c3d4b13240205d2df618acd410edae8665680b13. --- about/index.html | 12 +++--- circus/index.html | 30 +++++++-------- hacspec/index.html | 55 +++++++++------------------- hax/index.html | 30 +++++++-------- index.html | 6 +-- index.xml | 9 +---- libcrux/index.html | 55 +++++++++------------------- post/index.html | 41 +++++++++++---------- post/index.xml | 9 +---- post/page/2/index.html | 41 ++++++++++----------- post/page/3/index.html | 41 +++++++++++---------- post/page/4/index.html | 23 +----------- post/welcome_jan_lucas/index.html | 4 +- sitemap.xml | 27 ++++++-------- tags/hacspec/index.html | 61 +++++++++++-------------------- tags/hacspec/index.xml | 9 +---- tags/hax/index.html | 40 ++++++++++---------- tags/hax/index.xml | 9 +---- tags/hax/page/2/index.html | 22 +---------- tags/index.html | 4 +- tags/index.xml | 22 +++++------ tags/index/index.html | 4 +- tags/libcrux/index.html | 22 +---------- tags/libcrux/index.xml | 9 +---- 24 files changed, 218 insertions(+), 367 deletions(-) diff --git a/about/index.html b/about/index.html index 19ee1a5..39a7fce 100644 --- a/about/index.html +++ b/about/index.html @@ -291,7 +291,7 @@

About Cryspen

/images/franziskus.jpgAbout Cryspen /images/Karthik.jpgAbout Cryspen /images/undraw_male_avatar_cryspen.pngAbout Cryspen /images/jonas.jpgAbout Cryspen /images/lucas.jpgAbout Cryspen /images/maxime.png
-
- -
- - /images/posts/crypto-talk.jpeg - - -
-
-
Cryspen @ Crypto 2024
-

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.

-
- -
-
@@ -432,6 +417,21 @@
Announcing Campus Cyber Circus Project
+ +
+ +
+ + /images/posts/pexels-egor-kamelev-751689.jpeg + + +
+
+
Specifying Oblivious Pseudonymization
+

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.

+
+ +
diff --git a/hacspec/index.html b/hacspec/index.html index fde4ba8..465c32f 100644 --- a/hacspec/index.html +++ b/hacspec/index.html @@ -295,21 +295,6 @@

-
- -
- - /images/posts/crypto-talk.jpeg - - -
-
-
Cryspen @ Crypto 2024
-

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.

-
- -
-
@@ -399,29 +384,25 @@
Cryspen @ RWC 2023
- + +
+ +
+ + /images/posts/hpke_spec.png + + +
+
+
An Executable HPKE Specification
+

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.

+
+ +
+
-
-
+

diff --git a/hax/index.html b/hax/index.html index e5d92f3..e4b7cf6 100644 --- a/hax/index.html +++ b/hax/index.html @@ -353,21 +353,6 @@

-
- -
- - /images/posts/crypto-talk.jpeg - - -
-
-
Cryspen @ Crypto 2024
-

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.

-
- -
-
@@ -488,6 +473,21 @@
Announcing Campus Cyber Circus Project
+ +
+ +
+ + /images/posts/pexels-egor-kamelev-751689.jpeg + + +
+
+
Specifying Oblivious Pseudonymization
+

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.

+
+ +
diff --git a/index.html b/index.html index d1f3581..01a4f0d 100644 --- a/index.html +++ b/index.html @@ -1,7 +1,7 @@ - + Cryspen @@ -56,8 +56,8 @@ - - + + diff --git a/index.xml b/index.xml index 566ead1..b00e8af 100644 --- a/index.xml +++ b/index.xml @@ -6,15 +6,8 @@ Recent content on Cryspen Hugo en-us - Tue, 20 Aug 2024 00:00:00 +0000 + Mon, 19 Aug 2024 00:00:00 +0000 - - Cryspen @ Crypto 2024 - https://cryspen.com/post/crypto2024/ - Tue, 20 Aug 2024 00:00:00 +0000 - https://cryspen.com/post/crypto2024/ - 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. - Formally Verified Post-Quantum Cryptography https://cryspen.com/post/fospqc/ diff --git a/libcrux/index.html b/libcrux/index.html index d990627..15b20e3 100644 --- a/libcrux/index.html +++ b/libcrux/index.html @@ -332,21 +332,6 @@
HACL Packages
-
- -
- - /images/posts/crypto-talk.jpeg - - -
-
-
Cryspen @ Crypto 2024
-

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.

-
- -
-
@@ -436,29 +421,25 @@
Cryspen @ RWC 2023
- + +
+ +
+ + /images/posts/hpke_spec.png + + +
+
+
An Executable HPKE Specification
+

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.

+
+ +
+
-
-
+
diff --git a/post/index.html b/post/index.html index 4e11f33..c565ea9 100644 --- a/post/index.html +++ b/post/index.html @@ -55,8 +55,8 @@ - - + + @@ -244,24 +244,6 @@
-
- -
- - - /images/posts/crypto-talk.jpeg - - - -
-
-
Cryspen @ Crypto 2024
-

Karthik gave an invited talk on Formal Methods for Cryptography at Crypto 2024.

-

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.

-
- -
-
@@ -407,6 +389,25 @@
Cryptographic protocol verification with hax<
+
+ +
+ + + /images/posts/conference-talks-2024.jpg + + + +
+
+
Conference Talks
+

We have been travelling the world to talk about our recent work

+

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.

+
+ +
+
diff --git a/post/index.xml b/post/index.xml index f53613a..4e3dad9 100644 --- a/post/index.xml +++ b/post/index.xml @@ -6,15 +6,8 @@ Recent content on Cryspen Hugo en-us - Tue, 20 Aug 2024 00:00:00 +0000 + Mon, 19 Aug 2024 00:00:00 +0000 - - Cryspen @ Crypto 2024 - https://cryspen.com/post/crypto2024/ - Tue, 20 Aug 2024 00:00:00 +0000 - https://cryspen.com/post/crypto2024/ - 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. - Formally Verified Post-Quantum Cryptography https://cryspen.com/post/fospqc/ diff --git a/post/page/2/index.html b/post/page/2/index.html index 0cd5d6e..cda5b45 100644 --- a/post/page/2/index.html +++ b/post/page/2/index.html @@ -55,8 +55,8 @@ - - + + @@ -244,25 +244,6 @@
-
- -
- - - /images/posts/conference-talks-2024.jpg - - - -
-
-
Conference Talks
-

We have been travelling the world to talk about our recent work

-

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.

-
- -
-
@@ -408,6 +389,24 @@
Specifying Oblivious Pseudonymization
+
+ +
+ + + /images/posts/usenix-award.jpeg + + + +
+
+
Internet Defense Prize 2023
+

Cryspen co-founders win Usenix Security prizes

+

At the 32nd Usenix Security Symposium in Anaheim CA, a paper on the Messaging Layer Security Protocol, co-authored by our founders Jonathan Protzenko and Karthikeyan Bhargavan, was awarded both the Distinguished Paper Award and the prestigious Internet Defense Prize.

+
+ +
+
diff --git a/post/page/3/index.html b/post/page/3/index.html index 42753b3..2186f4f 100644 --- a/post/page/3/index.html +++ b/post/page/3/index.html @@ -55,8 +55,8 @@ - - + + @@ -244,24 +244,6 @@
-
- -
- - - /images/posts/usenix-award.jpeg - - - -
-
-
Internet Defense Prize 2023
-

Cryspen co-founders win Usenix Security prizes

-

At the 32nd Usenix Security Symposium in Anaheim CA, a paper on the Messaging Layer Security Protocol, co-authored by our founders Jonathan Protzenko and Karthikeyan Bhargavan, was awarded both the Distinguished Paper Award and the prestigious Internet Defense Prize.

-
- -
-
@@ -410,6 +392,25 @@
HACL Packages
+
+ +
+ + + /images/posts/high-assurance-cryptography-1.jpg + + + +
+
+
What is High Assurance Cryptography?
+

+

Cryspen builds high assurance cryptography. But what does this actually mean? +Before focusing on cryptography it is interesting to look at high assurance software in general.

+
+ +
+
diff --git a/post/page/4/index.html b/post/page/4/index.html index e55a5d0..f5c2d7e 100644 --- a/post/page/4/index.html +++ b/post/page/4/index.html @@ -55,8 +55,8 @@ - - + + @@ -244,25 +244,6 @@
-
- -
- - - /images/posts/high-assurance-cryptography-1.jpg - - - -
-
-
What is High Assurance Cryptography?
-

-

Cryspen builds high assurance cryptography. But what does this actually mean? -Before focusing on cryptography it is interesting to look at high assurance software in general.

-
- -
-
diff --git a/post/welcome_jan_lucas/index.html b/post/welcome_jan_lucas/index.html index 0c68b7a..0c60221 100644 --- a/post/welcome_jan_lucas/index.html +++ b/post/welcome_jan_lucas/index.html @@ -50,11 +50,11 @@ - + - + diff --git a/sitemap.xml b/sitemap.xml index 031bd58..7f7bc5e 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -3,34 +3,28 @@ xmlns:xhtml="http://www.w3.org/1999/xhtml"> https://cryspen.com/ - 2024-08-20T00:00:00+00:00 + 2024-08-19T00:00:00+00:00 https://cryspen.com/post/ - 2024-08-20T00:00:00+00:00 - - https://cryspen.com/post/crypto2024/ - 2024-08-20T00:00:00+00:00 + 2024-08-19T00:00:00+00:00 - https://cryspen.com/tags/hacspec/ - 2024-08-20T00:00:00+00:00 + https://cryspen.com/post/fospqc/ + 2024-08-19T00:00:00+00:00 https://cryspen.com/tags/hax/ - 2024-08-20T00:00:00+00:00 + 2024-08-19T00:00:00+00:00 https://cryspen.com/tags/index/ - 2024-08-20T00:00:00+00:00 + 2024-08-19T00:00:00+00:00 https://cryspen.com/tags/libcrux/ - 2024-08-20T00:00:00+00:00 - - https://cryspen.com/tags/ - 2024-08-20T00:00:00+00:00 - - https://cryspen.com/post/fospqc/ 2024-08-19T00:00:00+00:00 https://cryspen.com/tags/pq/ 2024-08-19T00:00:00+00:00 + + https://cryspen.com/tags/ + 2024-08-19T00:00:00+00:00 https://cryspen.com/post/announcement-playground/ 2024-08-14T00:00:00+00:00 @@ -49,6 +43,9 @@ https://cryspen.com/post/fmcp/ 2024-07-28T00:00:00+00:00 + + https://cryspen.com/tags/hacspec/ + 2024-07-28T00:00:00+00:00 https://cryspen.com/post/hax-sandbox/ 2024-07-19T00:00:00+00:00 diff --git a/tags/hacspec/index.html b/tags/hacspec/index.html index 7ba8b73..3d9225c 100644 --- a/tags/hacspec/index.html +++ b/tags/hacspec/index.html @@ -55,8 +55,8 @@ - - + + @@ -248,24 +248,6 @@

Hacspec

-
- -
- - - /images/posts/crypto-talk.jpeg - - - -
-
-
Cryspen @ Crypto 2024
-

Karthik gave an invited talk on Formal Methods for Cryptography at Crypto 2024.

-

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.

-
- -
-
@@ -401,29 +383,28 @@
libcrux
+
+ +
+ + + /images/posts/hpke_spec.png + + + +
+
+
An Executable HPKE Specification
+

+

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.

+
+ +
+
-
diff --git a/tags/hacspec/index.xml b/tags/hacspec/index.xml index 0c2c664..cd5ec34 100644 --- a/tags/hacspec/index.xml +++ b/tags/hacspec/index.xml @@ -6,15 +6,8 @@ Recent content in Hacspec on Cryspen Hugo en-us - Tue, 20 Aug 2024 00:00:00 +0000 + Sun, 28 Jul 2024 00:00:00 +0000 - - Cryspen @ Crypto 2024 - https://cryspen.com/post/crypto2024/ - Tue, 20 Aug 2024 00:00:00 +0000 - https://cryspen.com/post/crypto2024/ - 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. - Cryspen @ FMCP 2024 https://cryspen.com/post/fmcp/ diff --git a/tags/hax/index.html b/tags/hax/index.html index 8719acd..ab85678 100644 --- a/tags/hax/index.html +++ b/tags/hax/index.html @@ -55,8 +55,8 @@ - - + + @@ -248,24 +248,6 @@

Hax

-
- -
- - - /images/posts/crypto-talk.jpeg - - - -
-
-
Cryspen @ Crypto 2024
-

Karthik gave an invited talk on Formal Methods for Cryptography at Crypto 2024.

-

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.

-
- -
-
@@ -411,6 +393,24 @@
Announcing Campus Cyber Circus Project
+
+ +
+ + + /images/posts/pexels-egor-kamelev-751689.jpeg + + + +
+
+
Specifying Oblivious Pseudonymization
+

+

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.

+
+ +
+
diff --git a/tags/hax/index.xml b/tags/hax/index.xml index d221a2f..38561cd 100644 --- a/tags/hax/index.xml +++ b/tags/hax/index.xml @@ -6,15 +6,8 @@ Recent content in Hax on Cryspen Hugo en-us - Tue, 20 Aug 2024 00:00:00 +0000 + Mon, 19 Aug 2024 00:00:00 +0000 - - Cryspen @ Crypto 2024 - https://cryspen.com/post/crypto2024/ - Tue, 20 Aug 2024 00:00:00 +0000 - https://cryspen.com/post/crypto2024/ - 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. - Formally Verified Post-Quantum Cryptography https://cryspen.com/post/fospqc/ diff --git a/tags/hax/page/2/index.html b/tags/hax/page/2/index.html index ddab56d..a924a50 100644 --- a/tags/hax/page/2/index.html +++ b/tags/hax/page/2/index.html @@ -55,8 +55,8 @@ - - + + @@ -248,24 +248,6 @@

Hax

-
- -
- - - /images/posts/pexels-egor-kamelev-751689.jpeg - - - -
-
-
Specifying Oblivious Pseudonymization
-

-

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.

-
- -
-
diff --git a/tags/index.html b/tags/index.html index 2b708e6..99fa583 100644 --- a/tags/index.html +++ b/tags/index.html @@ -55,8 +55,8 @@ - - + + diff --git a/tags/index.xml b/tags/index.xml index 0aadd6f..7c1ff80 100644 --- a/tags/index.xml +++ b/tags/index.xml @@ -6,33 +6,26 @@ Recent content in Tags on Cryspen Hugo en-us - Tue, 20 Aug 2024 00:00:00 +0000 + Mon, 19 Aug 2024 00:00:00 +0000 - - Hacspec - https://cryspen.com/tags/hacspec/ - Tue, 20 Aug 2024 00:00:00 +0000 - https://cryspen.com/tags/hacspec/ - - Hax https://cryspen.com/tags/hax/ - Tue, 20 Aug 2024 00:00:00 +0000 + Mon, 19 Aug 2024 00:00:00 +0000 https://cryspen.com/tags/hax/ Index https://cryspen.com/tags/index/ - Tue, 20 Aug 2024 00:00:00 +0000 + Mon, 19 Aug 2024 00:00:00 +0000 https://cryspen.com/tags/index/ Libcrux https://cryspen.com/tags/libcrux/ - Tue, 20 Aug 2024 00:00:00 +0000 + Mon, 19 Aug 2024 00:00:00 +0000 https://cryspen.com/tags/libcrux/ @@ -57,6 +50,13 @@ https://cryspen.com/tags/iot/ + + Hacspec + https://cryspen.com/tags/hacspec/ + Sun, 28 Jul 2024 00:00:00 +0000 + https://cryspen.com/tags/hacspec/ + + Bertie https://cryspen.com/tags/bertie/ diff --git a/tags/index/index.html b/tags/index/index.html index 9251536..718e6f7 100644 --- a/tags/index/index.html +++ b/tags/index/index.html @@ -55,8 +55,8 @@ - - + + diff --git a/tags/libcrux/index.html b/tags/libcrux/index.html index f2062c0..57627ee 100644 --- a/tags/libcrux/index.html +++ b/tags/libcrux/index.html @@ -55,8 +55,8 @@ - - + + @@ -248,24 +248,6 @@

Libcrux

-
- -
- - - /images/posts/crypto-talk.jpeg - - - -
-
-
Cryspen @ Crypto 2024
-

Karthik gave an invited talk on Formal Methods for Cryptography at Crypto 2024.

-

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.

-
- -
-
diff --git a/tags/libcrux/index.xml b/tags/libcrux/index.xml index 69fe453..1565a82 100644 --- a/tags/libcrux/index.xml +++ b/tags/libcrux/index.xml @@ -6,15 +6,8 @@ Recent content in Libcrux on Cryspen Hugo en-us - Tue, 20 Aug 2024 00:00:00 +0000 + Mon, 19 Aug 2024 00:00:00 +0000 - - Cryspen @ Crypto 2024 - https://cryspen.com/post/crypto2024/ - Tue, 20 Aug 2024 00:00:00 +0000 - https://cryspen.com/post/crypto2024/ - 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. - Formally Verified Post-Quantum Cryptography https://cryspen.com/post/fospqc/