From c3d4b13240205d2df618acd410edae8665680b13 Mon Sep 17 00:00:00 2001 From: Karthikeyan Bhargavan Date: Tue, 20 Aug 2024 18:09:38 -0700 Subject: [PATCH] rebuilding site Tue Aug 20 18:09:38 PDT 2024 --- 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, 367 insertions(+), 218 deletions(-) diff --git a/about/index.html b/about/index.html index 39a7fce..19ee1a5 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.

+
+ +
+
@@ -417,21 +432,6 @@
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 465c32f..fde4ba8 100644 --- a/hacspec/index.html +++ b/hacspec/index.html @@ -295,6 +295,21 @@

+
+ +
+ + /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.

+
+ +
+
@@ -384,25 +399,29 @@
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 e4b7cf6..e5d92f3 100644 --- a/hax/index.html +++ b/hax/index.html @@ -353,6 +353,21 @@

+
+ +
+ + /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.

+
+ +
+
@@ -473,21 +488,6 @@
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 01a4f0d..d1f3581 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 b00e8af..566ead1 100644 --- a/index.xml +++ b/index.xml @@ -6,8 +6,15 @@ Recent content on Cryspen Hugo en-us - Mon, 19 Aug 2024 00:00:00 +0000 + Tue, 20 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 15b20e3..d990627 100644 --- a/libcrux/index.html +++ b/libcrux/index.html @@ -332,6 +332,21 @@
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.

+
+ +
+
@@ -421,25 +436,29 @@
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 c565ea9..4e11f33 100644 --- a/post/index.html +++ b/post/index.html @@ -55,8 +55,8 @@ - - + + @@ -244,6 +244,24 @@
+
+ +
+ + + /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.

+
+ +
+
@@ -389,25 +407,6 @@
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 4e3dad9..f53613a 100644 --- a/post/index.xml +++ b/post/index.xml @@ -6,8 +6,15 @@ Recent content on Cryspen Hugo en-us - Mon, 19 Aug 2024 00:00:00 +0000 + Tue, 20 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 cda5b45..0cd5d6e 100644 --- a/post/page/2/index.html +++ b/post/page/2/index.html @@ -55,8 +55,8 @@ - - + + @@ -244,6 +244,25 @@
+
+ +
+ + + /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.

+
+ +
+
@@ -389,24 +408,6 @@
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 2186f4f..42753b3 100644 --- a/post/page/3/index.html +++ b/post/page/3/index.html @@ -55,8 +55,8 @@ - - + + @@ -244,6 +244,24 @@
+
+ +
+ + + /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.

+
+ +
+
@@ -392,25 +410,6 @@
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 f5c2d7e..e55a5d0 100644 --- a/post/page/4/index.html +++ b/post/page/4/index.html @@ -55,8 +55,8 @@ - - + + @@ -244,6 +244,25 @@
+
+ +
+ + + /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 0c60221..0c68b7a 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 7f7bc5e..031bd58 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -3,27 +3,33 @@ xmlns:xhtml="http://www.w3.org/1999/xhtml"> https://cryspen.com/ - 2024-08-19T00:00:00+00:00 + 2024-08-20T00:00:00+00:00 https://cryspen.com/post/ - 2024-08-19T00:00:00+00:00 + 2024-08-20T00:00:00+00:00 - https://cryspen.com/post/fospqc/ - 2024-08-19T00:00:00+00:00 + https://cryspen.com/post/crypto2024/ + 2024-08-20T00:00:00+00:00 + + https://cryspen.com/tags/hacspec/ + 2024-08-20T00:00:00+00:00 https://cryspen.com/tags/hax/ - 2024-08-19T00:00:00+00:00 + 2024-08-20T00:00:00+00:00 https://cryspen.com/tags/index/ - 2024-08-19T00:00:00+00:00 + 2024-08-20T00:00:00+00:00 https://cryspen.com/tags/libcrux/ - 2024-08-19T00:00:00+00:00 + 2024-08-20T00:00:00+00:00 - https://cryspen.com/tags/pq/ + 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/ + https://cryspen.com/tags/pq/ 2024-08-19T00:00:00+00:00 https://cryspen.com/post/announcement-playground/ @@ -43,9 +49,6 @@ 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 3d9225c..7ba8b73 100644 --- a/tags/hacspec/index.html +++ b/tags/hacspec/index.html @@ -55,8 +55,8 @@ - - + + @@ -248,6 +248,24 @@

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.

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

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.

+
+ +
+
@@ -393,24 +411,6 @@
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 38561cd..d221a2f 100644 --- a/tags/hax/index.xml +++ b/tags/hax/index.xml @@ -6,8 +6,15 @@ Recent content in Hax on Cryspen Hugo en-us - Mon, 19 Aug 2024 00:00:00 +0000 + Tue, 20 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 a924a50..ddab56d 100644 --- a/tags/hax/page/2/index.html +++ b/tags/hax/page/2/index.html @@ -55,8 +55,8 @@ - - + + @@ -248,6 +248,24 @@

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

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 1565a82..69fe453 100644 --- a/tags/libcrux/index.xml +++ b/tags/libcrux/index.xml @@ -6,8 +6,15 @@ Recent content in Libcrux on Cryspen Hugo en-us - Mon, 19 Aug 2024 00:00:00 +0000 + Tue, 20 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/