rebuilding site Wed Nov 13 09:18:09 CET 2024

cryspen · Nov 13, 2024 · a060dcb · a060dcb
1 parent bd2dfc5
commit a060dcb
Show file tree

Hide file tree

Showing 97 changed files with 281 additions and 100 deletions.
diff --git a/about/index.html b/about/index.html
diff --git a/advanced-crypto/index.html b/advanced-crypto/index.html
diff --git a/circus/index.html b/circus/index.html
diff --git a/company/Untitled-1 b/company/Untitled-1
diff --git a/company/careers/index.html b/company/careers/index.html
@@ -0,0 +1,10 @@
+<!DOCTYPE html>
+<html lang="en-us">
+  <head>
+    <title>http://localhost:1313/company/dei/</title>
+    <link rel="canonical" href="http://localhost:1313/company/dei/">
+    <meta name="robots" content="noindex">
+    <meta charset="utf-8">
+    <meta http-equiv="refresh" content="0; url=http://localhost:1313/company/dei/">
+  </head>
+</html>
diff --git a/company/dei/index.html b/company/dei/index.html
diff --git a/company/index.html b/company/index.html
diff --git a/company/index.xml b/company/index.xml
@@ -0,0 +1,4 @@
+<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Companies on Cryspen</title><link>https://cryspen.com/company/</link><description>Recent content in Companies on Cryspen</description><generator>Hugo</generator><language>en-us</language><lastBuildDate>Sun, 01 Jan 2023 00:00:00 +0000</lastBuildDate><atom:link href="https://cryspen.com/company/index.xml" rel="self" type="application/rss+xml"/><item><title>Diversity, Equity, and Inclusion</title><link>https://cryspen.com/company/dei/</link><pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate><guid>https://cryspen.com/company/dei/</guid><description>&lt;p>Cryspen is committed to creating a diverse, equitable, and inclusive workplace
+where all employees feel valued, respected, and empowered.
+This policy outlines our commitment to fostering a positive and productive work
+environment that celebrates differences and promotes equal opportunities for all.&lt;/p></description></item></channel></rss>
diff --git a/company/page/1/index.html b/company/page/1/index.html
@@ -0,0 +1,2 @@
+<!doctype html><html lang=en-us><head><title>https://cryspen.com/company/</title>
+<link rel=canonical href=https://cryspen.com/company/><meta name=robots content="noindex"><meta charset=utf-8><meta http-equiv=refresh content="0; url=https://cryspen.com/company/"></head></html>
diff --git a/hacl/index.html b/hacl/index.html
diff --git a/hacspec/index.html b/hacspec/index.html
diff --git a/hax/index.html b/hax/index.html
diff --git a/hpke/index.html b/hpke/index.html
diff --git a/imprint/index.html b/imprint/index.html
diff --git a/index.html b/index.html
diff --git a/index.xml b/index.xml
@@ -45,7 +45,10 @@ cutting-edge formal verification tools developed at research labs like
 &lt;a href="https://www.inria.fr/">Inria&lt;/a> and applying them to commercial software development. All
 three co-founders have a demonstrated track record of solving
 challenging problems in high-assurance high-performance cryptographic
-software development, both in research and industry.&lt;/p></description></item><item><title>Advanced Cryptographic Implementations</title><link>https://cryspen.com/advanced-crypto/</link><pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate><guid>https://cryspen.com/advanced-crypto/</guid><description>&lt;p>TBD&lt;/p></description></item><item><title>HACL</title><link>https://cryspen.com/hacl/</link><pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate><guid>https://cryspen.com/hacl/</guid><description>&lt;p>HACL is a set of formally verified cryptographic libraries in C, JavaScript, OCaml, and Rust.
+software development, both in research and industry.&lt;/p></description></item><item><title>Advanced Cryptographic Implementations</title><link>https://cryspen.com/advanced-crypto/</link><pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate><guid>https://cryspen.com/advanced-crypto/</guid><description>&lt;p>TBD&lt;/p></description></item><item><title>Diversity, Equity, and Inclusion</title><link>https://cryspen.com/company/dei/</link><pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate><guid>https://cryspen.com/company/dei/</guid><description>&lt;p>Cryspen is committed to creating a diverse, equitable, and inclusive workplace
+where all employees feel valued, respected, and empowered.
+This policy outlines our commitment to fostering a positive and productive work
+environment that celebrates differences and promotes equal opportunities for all.&lt;/p></description></item><item><title>HACL</title><link>https://cryspen.com/hacl/</link><pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate><guid>https://cryspen.com/hacl/</guid><description>&lt;p>HACL is a set of formally verified cryptographic libraries in C, JavaScript, OCaml, and Rust.
 The libraries are based on the &lt;a href="https://github.com/hacl-star/hacl-star">HACL*&lt;/a> &lt;a href="https://project-everest.github.io/">research project&lt;/a>, originally developed by Inria
 and Microsoft Research.&lt;/p></description></item><item><title>hacspec</title><link>https://cryspen.com/hacspec/</link><pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate><guid>https://cryspen.com/hacspec/</guid><description>&lt;p>&lt;a href="https://hacspec.org">hacspec&lt;/a> is a language and framework for writing succinct, executable, formally
 verifiable specifications for cryptographic components.&lt;/p>
@@ -102,9 +105,9 @@ HPKE works for any combination of an asymmetric key encapsulation mechanism (KEM
 Some authenticated variants may not be supported by all KEMs.
 We provide instantiations of the scheme using widely used and efficient primitives, such as Elliptic Curve Diffie-Hellman key agreement, HKDF, and SHA2.&lt;/p></description></item><item><title>Impressum</title><link>https://cryspen.com/imprint/</link><pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate><guid>https://cryspen.com/imprint/</guid><description>&lt;p>Company Name: Cryspen Sarl&lt;/p>
 &lt;p>Registered Office: 149 Avenue du Maine, 75014 Paris, France&lt;/p>
-&lt;p>Email: &lt;a href="mailto:[email protected]">[email protected]&lt;/a>&lt;/p>
+&lt;p>Email: &lt;a href="[email protected]">[email protected]&lt;/a>&lt;/p>
 &lt;p>Managing Director: Franziskus Kiefer&lt;/p>
-&lt;p>Registration Number: 908 684 848 R.C.S. Paris&lt;/p></description></item><item><title>Jobs</title><link>https://cryspen.com/jobs/</link><pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate><guid>https://cryspen.com/jobs/</guid><description>&lt;div id="join-widget">
+&lt;p>Registration Number: &lt;a href="https://annuaire-entreprises.data.gouv.fr/entreprise/cryspen-908684848">908 684 848 R.C.S. Paris&lt;/a>&lt;/p></description></item><item><title>Jobs</title><link>https://cryspen.com/jobs/</link><pubDate>Sun, 01 Jan 2023 00:00:00 +0000</pubDate><guid>https://cryspen.com/jobs/</guid><description>&lt;div id="join-widget">
  &lt;script
  defer
  type="text/javascript"

diff --git a/jobs/index.html b/jobs/index.html
diff --git a/libcrux/index.html b/libcrux/index.html
diff --git a/mls/index.html b/mls/index.html
diff --git a/openmls/index.html b/openmls/index.html
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		<!doctype html><html lang=en-us><head><title>https://cryspen.com/company/</title>
		<link rel=canonical href=https://cryspen.com/company/><meta name=robots content="noindex"><meta charset=utf-8><meta http-equiv=refresh content="0; url=https://cryspen.com/company/"></head></html>