From d832c1b862948cf0eb691efccdb8d1593132809c Mon Sep 17 00:00:00 2001 From: Franziskus Kiefer Date: Sun, 18 Aug 2024 20:08:49 +0200 Subject: [PATCH] rebuilding site Sun Aug 18 20:08:49 CEST 2024 --- about/index.html | 481 +++++++++++++++++- advanced-crypto/index.html | 50 +- circus/index.html | 52 +- hacl/index.html | 50 +- hacspec/index.html | 50 +- hax/index.html | 109 +++- hpke/index.html | 50 +- images/Karthik.jpg | Bin 0 -> 2474930 bytes images/Karthik_hu4711156018490632770.jpg | Bin 0 -> 23258 bytes images/Karthik_hu6664294871752699349.jpg | Bin 0 -> 15518 bytes images/brands/nym-logo-black.png | Bin 17339 -> 14145 bytes images/brands/sandbox-logo.png | Bin 0 -> 36380 bytes images/brands/xmtp-logo.png | Bin 0 -> 20172 bytes ...building-blocks_hu10334104081532164219.png | Bin 0 -> 15327 bytes ...building-blocks_hu13114925251612874719.png | Bin 0 -> 12694 bytes images/construction.png | Bin 0 -> 109761 bytes images/franziskus.jpg | Bin 0 -> 649030 bytes images/franziskus_hu16099347997679409200.jpg | Bin 0 -> 28666 bytes images/franziskus_hu8239521875621889102.jpg | Bin 0 -> 27734 bytes images/jonas_hu12510784085274558809.jpg | Bin 0 -> 7175 bytes images/jonas_hu13831446390798652677.jpg | Bin 0 -> 20026 bytes images/lucas_hu1387702743353212719.jpg | Bin 0 -> 12899 bytes images/maxime.png | Bin 0 -> 4670679 bytes images/maxime_hu11135494737972670791.png | Bin 0 -> 119486 bytes images/maxime_hu4708373074141197706.png | Bin 0 -> 84697 bytes images/services-web-development.png | Bin 0 -> 95486 bytes ...web-development_hu10578116851430875170.png | Bin 0 -> 22287 bytes ...web-development_hu11945020976391575583.png | Bin 0 -> 48290 bytes images/testimonials-awards.png | Bin 0 -> 231424 bytes images/testimonials-left-quote.png | Bin 0 -> 4938 bytes images/testimonials-right-quote.png | Bin 0 -> 4740 bytes ...e_avatar_cryspen_hu4292326513303277466.png | Bin 0 -> 22594 bytes ...e_avatar_cryspen_hu8336454302792475043.png | Bin 0 -> 9870 bytes imprint/index.html | 52 +- index.html | 175 ++++--- index.xml | 4 +- jobs/index.html | 50 +- libcrux/index.html | 50 +- mls/index.html | 60 ++- openmls/index.html | 52 +- post/announcement-playground/index.html | 50 +- post/cyber-campus-hax/index.html | 50 +- post/erc-poc/index.html | 52 +- post/fmcp/index.html | 50 +- post/hacl-0_6/index.html | 52 +- post/hax-pv/index.html | 52 +- post/hax-sandbox/index.html | 50 +- post/hello-openmls/index.html | 52 +- post/high-assurance-cryptography-1/index.html | 52 +- post/hpke_spec/index.html | 52 +- post/index.html | 56 +- post/internet-defense-prize-2023/index.html | 50 +- post/introducing-hacl-packages/index.html | 50 +- post/ml-kem-implementation/index.html | 50 +- post/ml-kem-verification/index.html | 50 +- post/mls-introduction/index.html | 50 +- post/mls-rfc-announcement/index.html | 50 +- post/page/2/index.html | 56 +- post/page/3/index.html | 56 +- post/page/4/index.html | 56 +- post/pq-bertie/index.html | 50 +- post/pq-mls/index.html | 50 +- post/pq-openmls/index.html | 50 +- post/pqc-iot-announce/index.html | 50 +- post/pqxdh/index.html | 50 +- post/prarie-and-atlas/index.html | 50 +- post/rwc-2023/index.html | 52 +- post/rwc2024/index.html | 50 +- post/scrambledb/index.html | 52 +- post/tldr-hpke/index.html | 50 +- post/welcome_jan_lucas/index.html | 56 +- post/welcome_jonas/index.html | 52 +- post/welcome_maxime/index.html | 50 +- pq/index.html | 52 +- prove/index.html | 54 +- series/index.html | 56 +- tags/analysis/index.html | 56 +- tags/atlas/index.html | 56 +- tags/bertie/index.html | 56 +- tags/circus/index.html | 60 ++- tags/circus/index.xml | 2 +- tags/engineering/index.html | 56 +- tags/erc/index.html | 56 +- tags/formal-methods/index.html | 56 +- tags/grant/index.html | 56 +- tags/hacl/index.html | 56 +- tags/hacspec/index.html | 56 +- tags/hax/index.html | 56 +- tags/hax/index.xml | 2 +- tags/hax/page/2/index.html | 60 ++- tags/high-assurance/index.html | 56 +- tags/hpke/index.html | 56 +- tags/ietf/index.html | 56 +- tags/index.html | 56 +- tags/index/index.html | 56 +- tags/iot/index.html | 56 +- tags/kyber/index.html | 56 +- tags/libcrux/index.html | 56 +- tags/mls/index.html | 56 +- tags/ocaml/index.html | 56 +- tags/openmls/index.html | 58 ++- tags/openmls/index.xml | 2 +- tags/people/index.html | 56 +- tags/pets/index.html | 56 +- tags/post-quantum/index.html | 56 +- tags/pq/index.html | 56 +- tags/pqc/index.html | 56 +- tags/proverif/index.html | 56 +- tags/release/index.html | 56 +- tags/rfc/index.html | 56 +- tags/scrambledb/index.html | 56 +- tags/services/index.html | 56 +- tags/tldr/index.html | 56 +- tags/tls/index.html | 56 +- work/index.html | 50 +- 115 files changed, 3849 insertions(+), 1322 deletions(-) create mode 100644 images/Karthik.jpg create mode 100644 images/Karthik_hu4711156018490632770.jpg create mode 100644 images/Karthik_hu6664294871752699349.jpg create mode 100644 images/brands/sandbox-logo.png create mode 100644 images/brands/xmtp-logo.png create mode 100644 images/building-blocks_hu10334104081532164219.png create mode 100644 images/building-blocks_hu13114925251612874719.png create mode 100644 images/construction.png create mode 100644 images/franziskus.jpg create mode 100644 images/franziskus_hu16099347997679409200.jpg create mode 100644 images/franziskus_hu8239521875621889102.jpg create mode 100644 images/jonas_hu12510784085274558809.jpg create mode 100644 images/jonas_hu13831446390798652677.jpg create mode 100644 images/lucas_hu1387702743353212719.jpg create mode 100644 images/maxime.png create mode 100644 images/maxime_hu11135494737972670791.png create mode 100644 images/maxime_hu4708373074141197706.png create mode 100644 images/services-web-development.png create mode 100644 images/services-web-development_hu10578116851430875170.png create mode 100644 images/services-web-development_hu11945020976391575583.png create mode 100644 images/testimonials-awards.png create mode 100644 images/testimonials-left-quote.png create mode 100644 images/testimonials-right-quote.png create mode 100644 images/undraw_male_avatar_cryspen_hu4292326513303277466.png create mode 100644 images/undraw_male_avatar_cryspen_hu8336454302792475043.png diff --git a/about/index.html b/about/index.html index 215ee2e..39a7fce 100644 --- a/about/index.html +++ b/about/index.html @@ -7,7 +7,7 @@ - + @@ -19,7 +19,7 @@ - + @@ -51,14 +51,13 @@ - - + @@ -200,8 +199,14 @@ + + @@ -213,7 +218,7 @@ @@ -257,41 +262,487 @@

About Cryspen

Franziskus, our CEO, has a background in analyzing and proving cryptographic protocols academically as well as implementing and maintaining cryptography software. Karthik, our chief research scientist, is an expert in formal verification, protocol analysis, and applied cryptography. Jonathan, scientific advisor, is experienced in designing languages, verification software and toolchains for formal methods.

+ + + +
+
+
+
+ +

+ Team +

+ + +
+
+
+ +
+
+ + + + + /images/franziskus.jpg + + + + + +
+ +

Franziskus Kiefer

+ +
+ +

CEO & Engineer

+ + +
+
+ +
+
+ + + + + /images/Karthik.jpg + + + + + +
+ +

Karthikeyan Bhargavan

+ +
+ +

Chief Research Scientist

+ + +
+
+ +
+
+ + + + + /images/undraw_male_avatar_cryspen.png + + + + + +
+ +

Jan Winkelmann

+ +
+ +

Crypto Engineer

+ + +
+
+ +
+
+ + + + + /images/jonas.jpg + + + + + +
+ +

Jonas Schneider-Bensch

+ +
+ +

Crypto Engineer

+ + +
+
+ +
+
+ + + + + /images/lucas.jpg + + + + + +
+ +

Lucas Franceschino

+ +
+ +

Proof & Tool Engineer

+ + +
+
+ +
+
+ + + + + /images/maxime.png + + + + + +
+ +

Maxime Buyse

+ +
+ +

Proof & Tool Engineer

+ + +
+
+ +
+
+ + +
Join Us +
-