Skip to content

Commit 7cc427b

Browse files
franziskuskieferfranziskuskiefer
committed
initial commit of new website
1 parent 541b833 commit 7cc427b

File tree

167 files changed

+20282
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

167 files changed

+20282
-0
lines changed

‎.hidden

Whitespace-only changes.

‎about-us/index.html

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
<!DOCTYPE html>
2+
<html lang="en-us">
3+
<head>
4+
<title>https://www.cryspen.com/about/</title>
5+
<link rel="canonical" href="https://www.cryspen.com/about/">
6+
<meta name="robots" content="noindex">
7+
<meta charset="utf-8">
8+
<meta http-equiv="refresh" content="0; url=https://www.cryspen.com/about/">
9+
</head>
10+
</html>

‎about/index.html

Lines changed: 408 additions & 0 deletions
Large diffs are not rendered by default.

‎advanced-crypto/index.html

Lines changed: 401 additions & 0 deletions
Large diffs are not rendered by default.

‎articles/index.html

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
<!DOCTYPE html>
2+
<html lang="en-us">
3+
<head>
4+
<title>https://www.cryspen.com/post/</title>
5+
<link rel="canonical" href="https://www.cryspen.com/post/">
6+
<meta name="robots" content="noindex">
7+
<meta charset="utf-8">
8+
<meta http-equiv="refresh" content="0; url=https://www.cryspen.com/post/">
9+
</head>
10+
</html>

‎blog/index.html

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
<!DOCTYPE html>
2+
<html lang="en-us">
3+
<head>
4+
<title>https://www.cryspen.com/post/</title>
5+
<link rel="canonical" href="https://www.cryspen.com/post/">
6+
<meta name="robots" content="noindex">
7+
<meta charset="utf-8">
8+
<meta http-equiv="refresh" content="0; url=https://www.cryspen.com/post/">
9+
</head>
10+
</html>

‎careers/index.html

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
<!DOCTYPE html>
2+
<html lang="en-us">
3+
<head>
4+
<title>https://www.cryspen.com/jobs/</title>
5+
<link rel="canonical" href="https://www.cryspen.com/jobs/">
6+
<meta name="robots" content="noindex">
7+
<meta charset="utf-8">
8+
<meta http-equiv="refresh" content="0; url=https://www.cryspen.com/jobs/">
9+
</head>
10+
</html>

‎circus/index.html

Lines changed: 438 additions & 0 deletions
Large diffs are not rendered by default.

‎contact/index.html

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
<!DOCTYPE html>
2+
<html lang="en-us">
3+
<head>
4+
<title>https://www.cryspen.com/about/</title>
5+
<link rel="canonical" href="https://www.cryspen.com/about/">
6+
<meta name="robots" content="noindex">
7+
<meta charset="utf-8">
8+
<meta http-equiv="refresh" content="0; url=https://www.cryspen.com/about/">
9+
</head>
10+
</html>

‎docs/index.html

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
<!DOCTYPE html>
2+
<html lang="en-us">
3+
<head>
4+
<title>https://www.cryspen.com/post/</title>
5+
<link rel="canonical" href="https://www.cryspen.com/post/">
6+
<meta name="robots" content="noindex">
7+
<meta charset="utf-8">
8+
<meta http-equiv="refresh" content="0; url=https://www.cryspen.com/post/">
9+
</head>
10+
</html>

‎favicon-114.png

1.48 KB

‎favicon-120.png

1.53 KB

‎favicon-144.png

1.8 KB

‎favicon-152.png

1.88 KB

‎favicon-180.png

2.15 KB

‎favicon-196.png

2.34 KB

‎favicon-32.png

474 Bytes

‎favicon-72.png

1017 Bytes

‎favicon-76.png

1.01 KB

‎fonts/SF-Pro-Display-Bold.otf

2.19 MB
Binary file not shown.

‎fonts/SF-Pro-Display-Regular.otf

2.13 MB
Binary file not shown.

‎fonts/SF-Pro-Display-Semibold.otf

2.22 MB
Binary file not shown.

‎hacl-star/index.html

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
<!DOCTYPE html>
2+
<html lang="en-us">
3+
<head>
4+
<title>https://www.cryspen.com/hacl/</title>
5+
<link rel="canonical" href="https://www.cryspen.com/hacl/">
6+
<meta name="robots" content="noindex">
7+
<meta charset="utf-8">
8+
<meta http-equiv="refresh" content="0; url=https://www.cryspen.com/hacl/">
9+
</head>
10+
</html>

‎hacl/index.html

Lines changed: 465 additions & 0 deletions
Large diffs are not rendered by default.

‎hacspec/index.html

Lines changed: 455 additions & 0 deletions
Large diffs are not rendered by default.

‎hpke/index.html

Lines changed: 482 additions & 0 deletions
Large diffs are not rendered by default.

‎images/analysis-process.png

119 KB

‎images/analysis.png

88.8 KB

‎images/blog-logo.png

72.3 KB

‎images/brands/NGIAssure_tag.png

52.2 KB

‎images/brands/erc.jpg

17 KB

‎images/brands/inr_logo_rouge.png

28.3 KB

‎images/brands/logo_haut_bleu_couleur.png

22 KB

‎images/brands/nlnet.png

41.2 KB

‎images/building-blocks.png

33.4 KB

‎images/circus.png

161 KB

‎images/development-process.png

123 KB

‎images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_114x114_fit_box_3.png

1.48 KB

‎images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_120x120_fit_box_3.png

1.53 KB

‎images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_128x128_fit_box_3.png

1.68 KB

‎images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_144x144_fit_box_3.png

1.8 KB

‎images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_152x152_fit_box_3.png

1.88 KB

‎images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_180x180_fit_box_3.png

2.15 KB

‎images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_195x195_fit_box_3.png

2.28 KB

‎images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_196x196_fit_box_3.png

2.34 KB

‎images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_228x228_fit_box_3.png

2.67 KB

‎images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_270x270_fit_box_3.png

3 KB

‎images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_32x32_fit_box_3.png

474 Bytes

‎images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_558x270_fit_box_3.png

3 KB

‎images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_558x558_fit_box_3.png

3.13 KB

‎images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_57x57_fit_box_3.png

803 Bytes

‎images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_72x72_fit_box_3.png

1017 Bytes

‎images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_76x76_fit_box_3.png

1.01 KB

‎images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_96x96_fit_box_3.png

1.26 KB

‎images/hacspec-workflow.png

270 KB

‎images/hero-image.png

244 KB

‎images/hero.png

170 KB

‎images/logo.png

57.9 KB

‎images/mls-tree.png

60.6 KB

‎images/openmls.png

8.23 KB

‎images/posts/boxes.jpg

376 KB

‎images/posts/erc-cover.jpg

56.3 KB

‎images/posts/hacl-0_6.jpeg

470 KB

‎images/posts/high-assurance-cryptography-1.jpg

538 KB

‎images/posts/hpke_spec.png

347 KB

‎images/posts/openmls.jpeg

541 KB

‎images/posts/tldr-hpke.jpg

262 KB

‎images/pq.png

94.3 KB

‎impressum/index.html

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
<!DOCTYPE html>
2+
<html lang="en-us">
3+
<head>
4+
<title>https://www.cryspen.com/imprint/</title>
5+
<link rel="canonical" href="https://www.cryspen.com/imprint/">
6+
<meta name="robots" content="noindex">
7+
<meta charset="utf-8">
8+
<meta http-equiv="refresh" content="0; url=https://www.cryspen.com/imprint/">
9+
</head>
10+
</html>

‎imprint/index.html

Lines changed: 416 additions & 0 deletions
Large diffs are not rendered by default.

‎index.html

Lines changed: 649 additions & 0 deletions
Large diffs are not rendered by default.

‎index.xml

Lines changed: 200 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,200 @@
1+
<?xml version="1.0" encoding="utf-8" standalone="yes"?>
2+
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
3+
<channel>
4+
<title>Cryspen</title>
5+
<link>https://www.cryspen.com/</link>
6+
<description>Recent content on Cryspen</description>
7+
<generator>Hugo -- gohugo.io</generator>
8+
<language>en-us</language>
9+
<lastBuildDate>Sun, 01 Jan 2023 00:00:00 +0000</lastBuildDate><atom:link href="https://www.cryspen.com/index.xml" rel="self" type="application/rss+xml" />
10+
<item>
11+
<title>About Cryspen</title>
12+
<link>https://www.cryspen.com/about/</link>
13+
<pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate>
14+
15+
<guid>https://www.cryspen.com/about/</guid>
16+
<description>Cryspen was founded in December 2021 by Franziskus Kiefer, Karthikeyan Bhargavan, and Jonathan Protzenko, with the goal of adapting and extending cutting-edge formal verification tools developed at research labs like Inria and applying them to commercial software development.</description>
17+
</item>
18+
19+
<item>
20+
<title>Advanced Cryptographic Implementations</title>
21+
<link>https://www.cryspen.com/advanced-crypto/</link>
22+
<pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate>
23+
24+
<guid>https://www.cryspen.com/advanced-crypto/</guid>
25+
<description>TBD</description>
26+
</item>
27+
28+
<item>
29+
<title>CIRCUS</title>
30+
<link>https://www.cryspen.com/circus/</link>
31+
<pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate>
32+
33+
<guid>https://www.cryspen.com/circus/</guid>
34+
<description>Cryspen collaborates with the Prosecco team at Inria to develop a usable, robust, development environment and verification toolchain for security critical software.</description>
35+
</item>
36+
37+
<item>
38+
<title>HACL</title>
39+
<link>https://www.cryspen.com/hacl/</link>
40+
<pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate>
41+
42+
<guid>https://www.cryspen.com/hacl/</guid>
43+
<description>HACL is a set of formally verified cryptographic libraries in C, JavaScript, OCaml, and Rust. The libraries are based on the HACL* research project, originally developed by Inria and Microsoft Research.</description>
44+
</item>
45+
46+
<item>
47+
<title>hacspec</title>
48+
<link>https://www.cryspen.com/hacspec/</link>
49+
<pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate>
50+
51+
<guid>https://www.cryspen.com/hacspec/</guid>
52+
<description>hacspec is a language and framework for writing succinct, executable, formally verifiable specifications for cryptographic components.
53+
Syntactically, hacspec is a purely functional subset of Rust that aims to be readable by developers, cryptographers, and verification experts.</description>
54+
</item>
55+
56+
<item>
57+
<title>How we Work</title>
58+
<link>https://www.cryspen.com/work/</link>
59+
<pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate>
60+
61+
<guid>https://www.cryspen.com/work/</guid>
62+
<description>Cryspen is a boutique development and consulting studio focused on bringing state-of-the-art privacy and cryptography solutions to customers, using cutting-edge formal methods.</description>
63+
</item>
64+
65+
<item>
66+
<title>HPKE</title>
67+
<link>https://www.cryspen.com/hpke/</link>
68+
<pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate>
69+
70+
<guid>https://www.cryspen.com/hpke/</guid>
71+
<description>HPKE is scheme provides a variant of public-key encryption of arbitrary-sized plaintexts for a recipient public key. It includes three authenticated variants, including one which authenticates possession of a pre-shared key, and two optional ones which authenticate possession of a KEM private key.</description>
72+
</item>
73+
74+
<item>
75+
<title>Impressum</title>
76+
<link>https://www.cryspen.com/imprint/</link>
77+
<pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate>
78+
79+
<guid>https://www.cryspen.com/imprint/</guid>
80+
<description>Company Name: Cryspen Sarl
81+
Registered Office: 149 Avenue du Maine, 75014 Paris, France
82+
Email: [email protected]
83+
Managing Director: Franziskus Kiefer
84+
Registration Number: 908 684 848 R.</description>
85+
</item>
86+
87+
<item>
88+
<title>Jobs</title>
89+
<link>https://www.cryspen.com/jobs/</link>
90+
<pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate>
91+
92+
<guid>https://www.cryspen.com/jobs/</guid>
93+
<description> </description>
94+
</item>
95+
96+
<item>
97+
<title>OpenMLS</title>
98+
<link>https://www.cryspen.com/openmls/</link>
99+
<pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate>
100+
101+
<guid>https://www.cryspen.com/openmls/</guid>
102+
<description>Messaging Layer Security (MLS) is a security layer for end-to-end encrypting communication in large dynamic groups. It is being specified by the IETF MLS working group and designed to be efficient, practical and secure.</description>
103+
</item>
104+
105+
<item>
106+
<title>Post Quantum Transition</title>
107+
<link>https://www.cryspen.com/pq/</link>
108+
<pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate>
109+
110+
<guid>https://www.cryspen.com/pq/</guid>
111+
<description>With the advent of post-quantum cryptography, every organization will be expected to upgrade their systems, protocols and infrastructure to be post-quantum ready.</description>
112+
</item>
113+
114+
<item>
115+
<title>Secure Group Communication</title>
116+
<link>https://www.cryspen.com/mls/</link>
117+
<pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate>
118+
119+
<guid>https://www.cryspen.com/mls/</guid>
120+
<description>With new regulations like the Digital Market Act, companies now have to embrace interoperability, especially when it comes to communications and messaging.</description>
121+
</item>
122+
123+
<item>
124+
<title>Verify your Security</title>
125+
<link>https://www.cryspen.com/prove/</link>
126+
<pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate>
127+
128+
<guid>https://www.cryspen.com/prove/</guid>
129+
<description>Security protocols and constructions are pervasive. Some are well-known, like TLS; but your organization may be using custom security mechanisms for identity management, key propagation, secure storage… Having complete confidence in such a design requires an in-depth security analysis that covers side-channels, cryptographic design, and software design.</description>
130+
</item>
131+
132+
<item>
133+
<title>HACL Packages v0.6</title>
134+
<link>https://www.cryspen.com/post/hacl-0_6/</link>
135+
<pubDate>Mon, 07 Nov 2022 00:00:00 +0000</pubDate>
136+
137+
<guid>https://www.cryspen.com/post/hacl-0_6/</guid>
138+
<description>Today, we announce the first release of the HACL Packages libraries. 🎉
139+
This release of HACL packages includes the first release of the HACL C library and a new release of the hacl-star OCaml bindings.</description>
140+
</item>
141+
142+
<item>
143+
<title>OpenMLS</title>
144+
<link>https://www.cryspen.com/post/hello-openmls/</link>
145+
<pubDate>Wed, 19 Oct 2022 00:00:00 +0000</pubDate>
146+
147+
<guid>https://www.cryspen.com/post/hello-openmls/</guid>
148+
<description>We have joined forces with our friends from Phoenix R&amp;amp;D to improve OpenMLS.
149+
The MLS protocol draft is in the IETF working group&amp;rsquo;s last call and is thus on track to become an RFC soon.</description>
150+
</item>
151+
152+
<item>
153+
<title>HACL Packages</title>
154+
<link>https://www.cryspen.com/post/introducing-hacl-packages/</link>
155+
<pubDate>Tue, 07 Jun 2022 00:00:00 +0000</pubDate>
156+
157+
<guid>https://www.cryspen.com/post/introducing-hacl-packages/</guid>
158+
<description>Earlier this year, Tezos and Nomadic Labs started to work with Cryspen to improve HACL* and ensure that it is a viable long-term solution for Tezos&#39; cryptographic needs.</description>
159+
</item>
160+
161+
<item>
162+
<title>What is High Assurance Cryptography?</title>
163+
<link>https://www.cryspen.com/post/high-assurance-cryptography-1/</link>
164+
<pubDate>Mon, 02 May 2022 00:00:00 +0000</pubDate>
165+
166+
<guid>https://www.cryspen.com/post/high-assurance-cryptography-1/</guid>
167+
<description>Cryspen builds high assurance cryptography. But what does this actually mean?
168+
Before focusing on cryptography it is interesting to look at high assurance software in general.</description>
169+
</item>
170+
171+
<item>
172+
<title>An Executable HPKE Specification</title>
173+
<link>https://www.cryspen.com/post/hpke_spec/</link>
174+
<pubDate>Thu, 24 Feb 2022 00:00:00 +0000</pubDate>
175+
176+
<guid>https://www.cryspen.com/post/hpke_spec/</guid>
177+
<description>HPKE, published as RFC 9180, describes a scheme for hybrid public key encryption.
178+
📚 Please go and read our TL;DR on HPKE if you nee more background on HPKE.</description>
179+
</item>
180+
181+
<item>
182+
<title>TL;DR - Hybrid Public Key Encryption</title>
183+
<link>https://www.cryspen.com/post/tldr-hpke/</link>
184+
<pubDate>Thu, 24 Feb 2022 00:00:00 +0000</pubDate>
185+
186+
<guid>https://www.cryspen.com/post/tldr-hpke/</guid>
187+
<description>HPKE, defined in RFC 9180, is a CFRG standard that describes a scheme for hybrid public key encryption. It is co-authored by my Cryspen co-founder Karthikeyan Bhargavan and one of his PhD students Benjamin Lipp as part of his research at Inria.</description>
188+
</item>
189+
190+
<item>
191+
<title>Cryspen ERC PoC Grant</title>
192+
<link>https://www.cryspen.com/post/erc-poc/</link>
193+
<pubDate>Thu, 10 Feb 2022 00:00:00 +0000</pubDate>
194+
195+
<guid>https://www.cryspen.com/post/erc-poc/</guid>
196+
<description>Cryspen co-founder Karthik Bhargavan got awarded an ERC Proof of Concept grant for commercialising the know-how and landmark research results from his Inria research group PROSECCO through Cryspen.</description>
197+
</item>
198+
199+
</channel>
200+
</rss>

‎jobs/index.html

Lines changed: 408 additions & 0 deletions
Large diffs are not rendered by default.

‎largetile.png

3.13 KB

‎legal/index.html

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
<!DOCTYPE html>
2+
<html lang="en-us">
3+
<head>
4+
<title>https://www.cryspen.com/imprint/</title>
5+
<link rel="canonical" href="https://www.cryspen.com/imprint/">
6+
<meta name="robots" content="noindex">
7+
<meta charset="utf-8">
8+
<meta http-equiv="refresh" content="0; url=https://www.cryspen.com/imprint/">
9+
</head>
10+
</html>

‎mediumtile.png

3 KB

‎messaging-layer-security/index.html

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
<!DOCTYPE html>
2+
<html lang="en-us">
3+
<head>
4+
<title>https://www.cryspen.com/mls/</title>
5+
<link rel="canonical" href="https://www.cryspen.com/mls/">
6+
<meta name="robots" content="noindex">
7+
<meta charset="utf-8">
8+
<meta http-equiv="refresh" content="0; url=https://www.cryspen.com/mls/">
9+
</head>
10+
</html>

‎mls/index.html

Lines changed: 429 additions & 0 deletions
Large diffs are not rendered by default.

‎openmls/index.html

Lines changed: 477 additions & 0 deletions
Large diffs are not rendered by default.

‎post-quantum-transformation/index.html

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
<!DOCTYPE html>
2+
<html lang="en-us">
3+
<head>
4+
<title>https://www.cryspen.com/pq/</title>
5+
<link rel="canonical" href="https://www.cryspen.com/pq/">
6+
<meta name="robots" content="noindex">
7+
<meta charset="utf-8">
8+
<meta http-equiv="refresh" content="0; url=https://www.cryspen.com/pq/">
9+
</head>
10+
</html>

‎post/erc-poc/index.html

Lines changed: 406 additions & 0 deletions
Large diffs are not rendered by default.

‎post/hacl-0_6/blake2b_example.ml

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
open Hacl_star
2+
3+
let main =
4+
let msg = Bytes.of_string "Hello, HACL Packages!" in
5+
let digest = Hacl.Blake2b_32.hash msg 64 in
6+
Printf.printf "%s\n" (Hex.show (Hex.of_bytes digest));

0 commit comments

Comments
 (0)