Skip to content

Commit d83791d

Browse files
franziskuskieferfranziskuskiefer
committed
Revert "rebuilding site Tue Aug 20 18:09:38 PDT 2024"
This reverts commit c3d4b13.
1 parent 07e7ef8 commit d83791d

File tree

24 files changed

+218
-367
lines changed

24 files changed

+218
-367
lines changed

‎about/index.html

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -291,7 +291,7 @@ <h2 class="display-1 fw-bold text-center text-primary pb-3">About Cryspen</h2>
291291
<img
292292
class="img-fluid rounded-circle"
293293
class="img-fluid"
294-
src="https://cryspen.com/images/franziskus_hu3bc014a75079c34bb907fbf6d5a69568_649030_cae265e2a1773062a3e1df4a4c744e78.jpg"
294+
src="https://cryspen.com/images/franziskus_hu8239521875621889102.jpg"
295295
alt="/images/franziskus.jpg"
296296
width="400"
297297
height="400"
@@ -407,7 +407,7 @@ <h2 class="display-1 fw-bold text-center text-primary pb-3">About Cryspen</h2>
407407
<img
408408
class="img-fluid rounded-circle"
409409
class="img-fluid"
410-
src="https://cryspen.com/images/Karthik_hu57e0e0885bc0d97267aba77f5e9c8b6b_2474930_a3da3bcc932c69a8eaba47561bb49251.jpg"
410+
src="https://cryspen.com/images/Karthik_hu6664294871752699349.jpg"
411411
alt="/images/Karthik.jpg"
412412
width="398"
413413
height="398"
@@ -464,7 +464,7 @@ <h2 class="display-1 fw-bold text-center text-primary pb-3">About Cryspen</h2>
464464
<img
465465
class="img-fluid rounded-circle"
466466
class="img-fluid"
467-
src="https://cryspen.com/images/undraw_male_avatar_cryspen_huc4d462ae54021d551a9aa508698d7201_13815_1730ecc071216cb9332f261ade8ea885.png"
467+
src="https://cryspen.com/images/undraw_male_avatar_cryspen_hu8336454302792475043.png"
468468
alt="/images/undraw_male_avatar_cryspen.png"
469469
width="400"
470470
height="400"
@@ -521,7 +521,7 @@ <h2 class="display-1 fw-bold text-center text-primary pb-3">About Cryspen</h2>
521521
<img
522522
class="img-fluid rounded-circle"
523523
class="img-fluid"
524-
src="https://cryspen.com/images/jonas_hu3cfff442c5a91e79a26046521c466fde_5953195_6aea18c1f312e7d898abf069901957bf.jpg"
524+
src="https://cryspen.com/images/jonas_hu12510784085274558809.jpg"
525525
alt="/images/jonas.jpg"
526526
width="267"
527527
height="267"
@@ -578,7 +578,7 @@ <h2 class="display-1 fw-bold text-center text-primary pb-3">About Cryspen</h2>
578578
<img
579579
class="img-fluid rounded-circle"
580580
class="img-fluid"
581-
src="https://cryspen.com/images/lucas_hu1f92058faf34914c2dedf8738b80ec45_22193_c12a69a591e7ced17cd6b1b0cba4aa7d.jpg"
581+
src="https://cryspen.com/images/lucas_hu1387702743353212719.jpg"
582582
alt="/images/lucas.jpg"
583583
width="400"
584584
height="400"
@@ -635,7 +635,7 @@ <h2 class="display-1 fw-bold text-center text-primary pb-3">About Cryspen</h2>
635635
<img
636636
class="img-fluid rounded-circle"
637637
class="img-fluid"
638-
src="https://cryspen.com/images/maxime_hud16fa425acf8c225ad6740e69db1fe60_4670679_79cf7217480be84bdb352fb000c7fa76.png"
638+
src="https://cryspen.com/images/maxime_hu11135494737972670791.png"
639639
alt="/images/maxime.png"
640640
width="400"
641641
height="400"

‎circus/index.html

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -297,21 +297,6 @@ <h2 class="fs-1 fw-bold text-center text-primary pb-3">
297297

298298
<div class="row g-4 pb-5">
299299

300-
<div class="col-12 col-md-6 col-lg-4">
301-
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/crypto2024/">
302-
<div class="aspect-ratio-62-5">
303-
304-
<img class="" src="https://cryspen.com/images/posts/crypto-talk.jpeg" alt="/images/posts/crypto-talk.jpeg" width="2048" height="1536">
305-
306-
307-
</div>
308-
<div class="card-body">
309-
<h5 class="card-title fw-semibold">Cryspen @ Crypto 2024</h5>
310-
<p class="card-text text-black-61">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.</p>
311-
</div>
312-
</a>
313-
</div>
314-
315300
<div class="col-12 col-md-6 col-lg-4">
316301
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/fospqc/">
317302
<div class="aspect-ratio-62-5">
@@ -432,6 +417,21 @@ <h5 class="card-title fw-semibold">Announcing Campus Cyber Circus Project</h5>
432417
</div>
433418
</a>
434419
</div>
420+
421+
<div class="col-12 col-md-6 col-lg-4">
422+
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/scrambledb/">
423+
<div class="aspect-ratio-62-5">
424+
425+
<img class="" src="https://cryspen.com/images/posts/pexels-egor-kamelev-751689.jpeg" alt="/images/posts/pexels-egor-kamelev-751689.jpeg" width="1279" height="828">
426+
427+
428+
</div>
429+
<div class="card-body">
430+
<h5 class="card-title fw-semibold">Specifying Oblivious Pseudonymization</h5>
431+
<p class="card-text text-black-61">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.</p>
432+
</div>
433+
</a>
434+
</div>
435435

436436
</div>
437437
<div class="row pb-5">

‎hacspec/index.html

Lines changed: 18 additions & 37 deletions
Original file line numberDiff line numberDiff line change
@@ -295,21 +295,6 @@ <h2 class="fs-1 fw-bold text-center text-primary pb-3">
295295

296296
<div class="row g-4 pb-5">
297297

298-
<div class="col-12 col-md-6 col-lg-4">
299-
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/crypto2024/">
300-
<div class="aspect-ratio-62-5">
301-
302-
<img class="" src="https://cryspen.com/images/posts/crypto-talk.jpeg" alt="/images/posts/crypto-talk.jpeg" width="2048" height="1536">
303-
304-
305-
</div>
306-
<div class="card-body">
307-
<h5 class="card-title fw-semibold">Cryspen @ Crypto 2024</h5>
308-
<p class="card-text text-black-61">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.</p>
309-
</div>
310-
</a>
311-
</div>
312-
313298
<div class="col-12 col-md-6 col-lg-4">
314299
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/fmcp/">
315300
<div class="aspect-ratio-62-5">
@@ -399,29 +384,25 @@ <h5 class="card-title fw-semibold">Cryspen @ RWC 2023</h5>
399384
</div>
400385
</a>
401386
</div>
402-
387+
388+
<div class="col-12 col-md-6 col-lg-4">
389+
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/hpke_spec/">
390+
<div class="aspect-ratio-62-5">
391+
392+
<img class="" src="https://cryspen.com/images/posts/hpke_spec.png" alt="/images/posts/hpke_spec.png" width="1229" height="908">
393+
394+
395+
</div>
396+
<div class="card-body">
397+
<h5 class="card-title fw-semibold">An Executable HPKE Specification</h5>
398+
<p class="card-text text-black-61">HPKE, published as RFC 9180, describes a scheme for hybrid public key encryption.
399+
📚 Read our TL;DR on HPKE if you need more background on HPKE.</p>
400+
</div>
401+
</a>
402+
</div>
403+
403404
</div>
404-
<div class="row pb-5">
405-
<ul class="pagination pagination-default">
406-
<li class="page-item disabled">
407-
<a aria-disabled="true" aria-label="First" class="page-link" role="button" tabindex="-1"><span aria-hidden="true">&laquo;&laquo;</span></a>
408-
</li>
409-
<li class="page-item disabled">
410-
<a aria-disabled="true" aria-label="Previous" class="page-link" role="button" tabindex="-1"><span aria-hidden="true">&laquo;</span></a>
411-
</li>
412-
<li class="page-item active">
413-
<a aria-current="page" aria-label="Page 1" class="page-link" role="button">1</a>
414-
</li>
415-
<li class="page-item">
416-
<a href="/tags/hacspec/page/2/" aria-label="Page 2" class="page-link" role="button">2</a>
417-
</li>
418-
<li class="page-item">
419-
<a href="/tags/hacspec/page/2/" aria-label="Next" class="page-link" role="button"><span aria-hidden="true">&raquo;</span></a>
420-
</li>
421-
<li class="page-item">
422-
<a href="/tags/hacspec/page/2/" aria-label="Last" class="page-link" role="button"><span aria-hidden="true">&raquo;&raquo;</span></a>
423-
</li>
424-
</ul></div>
405+
<div class="row pb-5"></div>
425406

426407
</div>
427408
</section>

‎hax/index.html

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -353,21 +353,6 @@ <h2 class="fs-1 fw-bold text-center text-primary pb-3">
353353

354354
<div class="row g-4 pb-5">
355355

356-
<div class="col-12 col-md-6 col-lg-4">
357-
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/crypto2024/">
358-
<div class="aspect-ratio-62-5">
359-
360-
<img class="" src="https://cryspen.com/images/posts/crypto-talk.jpeg" alt="/images/posts/crypto-talk.jpeg" width="2048" height="1536">
361-
362-
363-
</div>
364-
<div class="card-body">
365-
<h5 class="card-title fw-semibold">Cryspen @ Crypto 2024</h5>
366-
<p class="card-text text-black-61">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.</p>
367-
</div>
368-
</a>
369-
</div>
370-
371356
<div class="col-12 col-md-6 col-lg-4">
372357
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/fospqc/">
373358
<div class="aspect-ratio-62-5">
@@ -488,6 +473,21 @@ <h5 class="card-title fw-semibold">Announcing Campus Cyber Circus Project</h5>
488473
</div>
489474
</a>
490475
</div>
476+
477+
<div class="col-12 col-md-6 col-lg-4">
478+
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/scrambledb/">
479+
<div class="aspect-ratio-62-5">
480+
481+
<img class="" src="https://cryspen.com/images/posts/pexels-egor-kamelev-751689.jpeg" alt="/images/posts/pexels-egor-kamelev-751689.jpeg" width="1279" height="828">
482+
483+
484+
</div>
485+
<div class="card-body">
486+
<h5 class="card-title fw-semibold">Specifying Oblivious Pseudonymization</h5>
487+
<p class="card-text text-black-61">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.</p>
488+
</div>
489+
</a>
490+
</div>
491491

492492
</div>
493493
<div class="row pb-5">

‎index.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<!DOCTYPE html>
22
<html lang="en">
33
<head>
4-
<meta name="generator" content="Hugo 0.129.0">
4+
<meta name="generator" content="Hugo 0.133.0">
55

66
<title>Cryspen </title>
77

@@ -56,8 +56,8 @@
5656

5757
<meta itemprop="name" content="Cryspen">
5858
<meta itemprop="description" content="High Assurance Software">
59-
<meta itemprop="datePublished" content="2024-08-20T00:00:00+00:00">
60-
<meta itemprop="dateModified" content="2024-08-20T00:00:00+00:00">
59+
<meta itemprop="datePublished" content="2024-08-19T00:00:00+00:00">
60+
<meta itemprop="dateModified" content="2024-08-19T00:00:00+00:00">
6161

6262

6363

‎index.xml

Lines changed: 1 addition & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -6,15 +6,8 @@
66
<description>Recent content on Cryspen</description>
77
<generator>Hugo</generator>
88
<language>en-us</language>
9-
<lastBuildDate>Tue, 20 Aug 2024 00:00:00 +0000</lastBuildDate>
9+
<lastBuildDate>Mon, 19 Aug 2024 00:00:00 +0000</lastBuildDate>
1010
<atom:link href="https://cryspen.com/index.xml" rel="self" type="application/rss+xml" />
11-
<item>
12-
<title>Cryspen @ Crypto 2024</title>
13-
<link>https://cryspen.com/post/crypto2024/</link>
14-
<pubDate>Tue, 20 Aug 2024 00:00:00 +0000</pubDate>
15-
<guid>https://cryspen.com/post/crypto2024/</guid>
16-
<description>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.</description>
17-
</item>
1811
<item>
1912
<title>Formally Verified Post-Quantum Cryptography</title>
2013
<link>https://cryspen.com/post/fospqc/</link>

‎libcrux/index.html

Lines changed: 18 additions & 37 deletions
Original file line numberDiff line numberDiff line change
@@ -332,21 +332,6 @@ <h5 class="card-title fw-semibold">HACL Packages</h5>
332332

333333
<div class="row g-4 pb-5">
334334

335-
<div class="col-12 col-md-6 col-lg-4">
336-
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/crypto2024/">
337-
<div class="aspect-ratio-62-5">
338-
339-
<img class="" src="https://cryspen.com/images/posts/crypto-talk.jpeg" alt="/images/posts/crypto-talk.jpeg" width="2048" height="1536">
340-
341-
342-
</div>
343-
<div class="card-body">
344-
<h5 class="card-title fw-semibold">Cryspen @ Crypto 2024</h5>
345-
<p class="card-text text-black-61">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.</p>
346-
</div>
347-
</a>
348-
</div>
349-
350335
<div class="col-12 col-md-6 col-lg-4">
351336
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/fmcp/">
352337
<div class="aspect-ratio-62-5">
@@ -436,29 +421,25 @@ <h5 class="card-title fw-semibold">Cryspen @ RWC 2023</h5>
436421
</div>
437422
</a>
438423
</div>
439-
424+
425+
<div class="col-12 col-md-6 col-lg-4">
426+
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/hpke_spec/">
427+
<div class="aspect-ratio-62-5">
428+
429+
<img class="" src="https://cryspen.com/images/posts/hpke_spec.png" alt="/images/posts/hpke_spec.png" width="1229" height="908">
430+
431+
432+
</div>
433+
<div class="card-body">
434+
<h5 class="card-title fw-semibold">An Executable HPKE Specification</h5>
435+
<p class="card-text text-black-61">HPKE, published as RFC 9180, describes a scheme for hybrid public key encryption.
436+
📚 Read our TL;DR on HPKE if you need more background on HPKE.</p>
437+
</div>
438+
</a>
439+
</div>
440+
440441
</div>
441-
<div class="row pb-5">
442-
<ul class="pagination pagination-default">
443-
<li class="page-item disabled">
444-
<a aria-disabled="true" aria-label="First" class="page-link" role="button" tabindex="-1"><span aria-hidden="true">&laquo;&laquo;</span></a>
445-
</li>
446-
<li class="page-item disabled">
447-
<a aria-disabled="true" aria-label="Previous" class="page-link" role="button" tabindex="-1"><span aria-hidden="true">&laquo;</span></a>
448-
</li>
449-
<li class="page-item active">
450-
<a aria-current="page" aria-label="Page 1" class="page-link" role="button">1</a>
451-
</li>
452-
<li class="page-item">
453-
<a href="/tags/hacspec/page/2/" aria-label="Page 2" class="page-link" role="button">2</a>
454-
</li>
455-
<li class="page-item">
456-
<a href="/tags/hacspec/page/2/" aria-label="Next" class="page-link" role="button"><span aria-hidden="true">&raquo;</span></a>
457-
</li>
458-
<li class="page-item">
459-
<a href="/tags/hacspec/page/2/" aria-label="Last" class="page-link" role="button"><span aria-hidden="true">&raquo;&raquo;</span></a>
460-
</li>
461-
</ul></div>
442+
<div class="row pb-5"></div>
462443

463444
</div>
464445
</section>

‎post/index.html

Lines changed: 21 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -55,8 +55,8 @@
5555

5656
<meta itemprop="name" content="Cryspen">
5757
<meta itemprop="description" content="High Assurance Software">
58-
<meta itemprop="datePublished" content="2024-08-20T00:00:00+00:00">
59-
<meta itemprop="dateModified" content="2024-08-20T00:00:00+00:00">
58+
<meta itemprop="datePublished" content="2024-08-19T00:00:00+00:00">
59+
<meta itemprop="dateModified" content="2024-08-19T00:00:00+00:00">
6060
<meta itemprop="keywords" content="Index">
6161

6262

@@ -244,24 +244,6 @@
244244
</div>
245245
<div class="row g-4 pb-5">
246246

247-
<div class="col-12 col-md-6 col-lg-4">
248-
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/crypto2024/">
249-
<div class="aspect-ratio-62-5">
250-
251-
252-
<img class="" src="https://cryspen.com/images/posts/crypto-talk.jpeg" alt="/images/posts/crypto-talk.jpeg" width="2048" height="1536">
253-
254-
255-
256-
</div>
257-
<div class="card-body">
258-
<h5 class="card-title fw-semibold">Cryspen @ Crypto 2024</h5>
259-
<p class="card-subtitle text-black-61">Karthik gave an invited talk on Formal Methods for Cryptography at Crypto 2024.</p>
260-
<p class="card-text text-black-61">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.</p>
261-
</div>
262-
</a>
263-
</div>
264-
265247
<div class="col-12 col-md-6 col-lg-4">
266248
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/fospqc/">
267249
<div class="aspect-ratio-62-5">
@@ -407,6 +389,25 @@ <h5 class="card-title fw-semibold">Cryptographic protocol verification with hax<
407389
</a>
408390
</div>
409391

392+
<div class="col-12 col-md-6 col-lg-4">
393+
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/rwc2024/">
394+
<div class="aspect-ratio-62-5">
395+
396+
397+
<img class="" src="https://cryspen.com/images/posts/conference-talks-2024.jpg" alt="/images/posts/conference-talks-2024.jpg" width="1920" height="1280">
398+
399+
400+
401+
</div>
402+
<div class="card-body">
403+
<h5 class="card-title fw-semibold">Conference Talks</h5>
404+
<p class="card-subtitle text-black-61">We have been travelling the world to talk about our recent work</p>
405+
<p class="card-text text-black-61">Cryspen attended a number of conference in April and March. Here is a list of all slides and videos.
406+
We will update links when more resources become available.</p>
407+
</div>
408+
</a>
409+
</div>
410+
410411
</div>
411412
<div class="row pb-5">
412413

‎post/index.xml

Lines changed: 1 addition & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -6,15 +6,8 @@
66
<description>Recent content on Cryspen</description>
77
<generator>Hugo</generator>
88
<language>en-us</language>
9-
<lastBuildDate>Tue, 20 Aug 2024 00:00:00 +0000</lastBuildDate>
9+
<lastBuildDate>Mon, 19 Aug 2024 00:00:00 +0000</lastBuildDate>
1010
<atom:link href="https://cryspen.com/post/index.xml" rel="self" type="application/rss+xml" />
11-
<item>
12-
<title>Cryspen @ Crypto 2024</title>
13-
<link>https://cryspen.com/post/crypto2024/</link>
14-
<pubDate>Tue, 20 Aug 2024 00:00:00 +0000</pubDate>
15-
<guid>https://cryspen.com/post/crypto2024/</guid>
16-
<description>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.</description>
17-
</item>
1811
<item>
1912
<title>Formally Verified Post-Quantum Cryptography</title>
2013
<link>https://cryspen.com/post/fospqc/</link>

0 commit comments

Comments
 (0)