From 94af9c78fff9fb09af40079acc56181d73e5e60d Mon Sep 17 00:00:00 2001 From: Franziskus Kiefer Date: Mon, 5 Aug 2024 10:54:23 +0200 Subject: [PATCH] rebuilding site Mon Aug 5 10:54:23 CEST 2024 --- index.html | 6 +++--- index.xml | 9 ++++++++- post/index.html | 40 ++++++++++++++++++++-------------------- post/index.xml | 9 ++++++++- post/page/2/index.html | 40 ++++++++++++++++++++-------------------- post/page/3/index.html | 22 ++++++++++++++++++++-- sitemap.xml | 28 +++++++++++++++++----------- tags/index.html | 4 ++-- tags/index.xml | 37 ++++++++++++++++++++++--------------- tags/index/index.html | 4 ++-- tags/pq/index.html | 22 ++++++++++++++++++++-- tags/pq/index.xml | 9 ++++++++- 12 files changed, 150 insertions(+), 80 deletions(-) diff --git a/index.html b/index.html index 50e3d50..8c6b5b8 100644 --- a/index.html +++ b/index.html @@ -1,7 +1,7 @@ - + Cryspen @@ -57,8 +57,8 @@ - - + + diff --git a/index.xml b/index.xml index d2c8a3a..bd584da 100644 --- a/index.xml +++ b/index.xml @@ -6,8 +6,15 @@ Recent content on Cryspen Hugo en-us - Sun, 28 Jul 2024 00:00:00 +0000 + Mon, 05 Aug 2024 00:00:00 +0000 + + High Assurance IoT PQC + https://cryspen.com/post/pqc-iot-announce/ + Mon, 05 Aug 2024 00:00:00 +0000 + https://cryspen.com/post/pqc-iot-announce/ + Together with our sister-company CryptoEng, we extend our libcrux cryptographic library with support for resource constrained IoT devices. Read their announcement here. + Cryspen @ FMCP 2024 https://cryspen.com/post/fmcp/ diff --git a/post/index.html b/post/index.html index 6ed9335..28302fa 100644 --- a/post/index.html +++ b/post/index.html @@ -56,8 +56,8 @@ - - + + @@ -239,6 +239,24 @@
+
+ +
+ + + /images/posts/pqc-iot.jpeg + + + +
+
+
High Assurance IoT PQC
+

Securing the Internet of Things in the age of Quantum Computers.

+

Together with our sister-company CryptoEng, we extend our libcrux cryptographic library with support for resource constrained IoT devices. Read their announcement here.

+
+ +
+
@@ -385,24 +403,6 @@
Verifying Libcrux's ML-KEM
-
- -
- - - /images/posts/crystals.jpeg - - - -
-
-
Verified ML-KEM (Kyber) in Rust
-

We implemented ML-KEM in Rust and formally verified its correctness with hax

-

ML-KEM, previously known as Kyber, is the first post-quantum secure key-encapsulation mechanism (KEM) to get standardised by NIST in FIPS 203.

-
- -
-
diff --git a/post/index.xml b/post/index.xml index 149f547..38cdb83 100644 --- a/post/index.xml +++ b/post/index.xml @@ -6,8 +6,15 @@ Recent content on Cryspen Hugo en-us - Sun, 28 Jul 2024 00:00:00 +0000 + Mon, 05 Aug 2024 00:00:00 +0000 + + High Assurance IoT PQC + https://cryspen.com/post/pqc-iot-announce/ + Mon, 05 Aug 2024 00:00:00 +0000 + https://cryspen.com/post/pqc-iot-announce/ + Together with our sister-company CryptoEng, we extend our libcrux cryptographic library with support for resource constrained IoT devices. Read their announcement here. + Cryspen @ FMCP 2024 https://cryspen.com/post/fmcp/ diff --git a/post/page/2/index.html b/post/page/2/index.html index d9d9d74..5f3f6e0 100644 --- a/post/page/2/index.html +++ b/post/page/2/index.html @@ -56,8 +56,8 @@ - - + + @@ -239,6 +239,24 @@
+
+ +
+ + + /images/posts/crystals.jpeg + + + +
+
+
Verified ML-KEM (Kyber) in Rust
+

We implemented ML-KEM in Rust and formally verified its correctness with hax

+

ML-KEM, previously known as Kyber, is the first post-quantum secure key-encapsulation mechanism (KEM) to get standardised by NIST in FIPS 203.

+
+ +
+
@@ -385,24 +403,6 @@
MLS - RFC 9420
-
- -
- - - /images/jonas.jpg - - - -
-
-
Welcome Jonas
-

-

📢 Exciting News! 🚀 We are thrilled to welcome Dr. Jonas Schneider-Bensch, to the Cryspen family as our newest R&D Cryptography Engineer!

-
- -
-
diff --git a/post/page/3/index.html b/post/page/3/index.html index 814820d..17e28d8 100644 --- a/post/page/3/index.html +++ b/post/page/3/index.html @@ -56,8 +56,8 @@ - - + + @@ -239,6 +239,24 @@
+
+ +
+ + + /images/jonas.jpg + + + +
+
+
Welcome Jonas
+

+

📢 Exciting News! 🚀 We are thrilled to welcome Dr. Jonas Schneider-Bensch, to the Cryspen family as our newest R&D Cryptography Engineer!

+
+ +
+
diff --git a/sitemap.xml b/sitemap.xml index c4f711e..8f01128 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -3,10 +3,25 @@ xmlns:xhtml="http://www.w3.org/1999/xhtml"> https://cryspen.com/ - 2024-07-28T00:00:00+00:00 + 2024-08-05T00:00:00+00:00 https://cryspen.com/post/ - 2024-07-28T00:00:00+00:00 + 2024-08-05T00:00:00+00:00 + + https://cryspen.com/post/pqc-iot-announce/ + 2024-08-05T00:00:00+00:00 + + https://cryspen.com/tags/index/ + 2024-08-05T00:00:00+00:00 + + https://cryspen.com/tags/iot/ + 2024-08-05T00:00:00+00:00 + + https://cryspen.com/tags/pq/ + 2024-08-05T00:00:00+00:00 + + https://cryspen.com/tags/ + 2024-08-05T00:00:00+00:00 https://cryspen.com/post/fmcp/ 2024-07-28T00:00:00+00:00 @@ -16,15 +31,9 @@ https://cryspen.com/tags/hax/ 2024-07-28T00:00:00+00:00 - - https://cryspen.com/tags/index/ - 2024-07-28T00:00:00+00:00 https://cryspen.com/tags/libcrux/ 2024-07-28T00:00:00+00:00 - - https://cryspen.com/tags/ - 2024-07-28T00:00:00+00:00 https://cryspen.com/post/hax-sandbox/ 2024-07-19T00:00:00+00:00 @@ -55,9 +64,6 @@ https://cryspen.com/tags/mls/ 2024-04-23T00:00:00+00:00 - - https://cryspen.com/tags/pq/ - 2024-04-23T00:00:00+00:00 https://cryspen.com/tags/openmls/ 2024-04-11T00:00:00+00:00 diff --git a/tags/index.html b/tags/index.html index 422cb60..6abd53d 100644 --- a/tags/index.html +++ b/tags/index.html @@ -56,8 +56,8 @@ - - + + diff --git a/tags/index.xml b/tags/index.xml index 0de20a9..7e8f8db 100644 --- a/tags/index.xml +++ b/tags/index.xml @@ -6,8 +6,29 @@ Recent content in Tags on Cryspen Hugo en-us - Sun, 28 Jul 2024 00:00:00 +0000 + Mon, 05 Aug 2024 00:00:00 +0000 + + Index + https://cryspen.com/tags/index/ + Mon, 05 Aug 2024 00:00:00 +0000 + https://cryspen.com/tags/index/ + + + + IoT + https://cryspen.com/tags/iot/ + Mon, 05 Aug 2024 00:00:00 +0000 + https://cryspen.com/tags/iot/ + + + + PQ + https://cryspen.com/tags/pq/ + Mon, 05 Aug 2024 00:00:00 +0000 + https://cryspen.com/tags/pq/ + + Hacspec https://cryspen.com/tags/hacspec/ @@ -22,13 +43,6 @@ https://cryspen.com/tags/hax/ - - Index - https://cryspen.com/tags/index/ - Sun, 28 Jul 2024 00:00:00 +0000 - https://cryspen.com/tags/index/ - - Libcrux https://cryspen.com/tags/libcrux/ @@ -78,13 +92,6 @@ https://cryspen.com/tags/mls/ - - PQ - https://cryspen.com/tags/pq/ - Tue, 23 Apr 2024 00:00:00 +0000 - https://cryspen.com/tags/pq/ - - OpenMLS https://cryspen.com/tags/openmls/ diff --git a/tags/index/index.html b/tags/index/index.html index bf5834c..3abb5a0 100644 --- a/tags/index/index.html +++ b/tags/index/index.html @@ -56,8 +56,8 @@ - - + + diff --git a/tags/pq/index.html b/tags/pq/index.html index 5348d48..27631e2 100644 --- a/tags/pq/index.html +++ b/tags/pq/index.html @@ -56,8 +56,8 @@ - - + + @@ -243,6 +243,24 @@

PQ

+
+ +
+ + + /images/posts/pqc-iot.jpeg + + + +
+
+
High Assurance IoT PQC
+

Securing the Internet of Things in the age of Quantum Computers.

+

Together with our sister-company CryptoEng, we extend our libcrux cryptographic library with support for resource constrained IoT devices. Read their announcement here.

+
+ +
+
diff --git a/tags/pq/index.xml b/tags/pq/index.xml index ae51bd2..ec7ef42 100644 --- a/tags/pq/index.xml +++ b/tags/pq/index.xml @@ -6,8 +6,15 @@ Recent content in PQ on Cryspen Hugo en-us - Tue, 23 Apr 2024 00:00:00 +0000 + Mon, 05 Aug 2024 00:00:00 +0000 + + High Assurance IoT PQC + https://cryspen.com/post/pqc-iot-announce/ + Mon, 05 Aug 2024 00:00:00 +0000 + https://cryspen.com/post/pqc-iot-announce/ + Together with our sister-company CryptoEng, we extend our libcrux cryptographic library with support for resource constrained IoT devices. Read their announcement here. + Conference Talks https://cryspen.com/post/rwc2024/