Skip to content

Commit 568074b

Browse files
jschneider-benschjschneider-bensch
committed
rebuilding site Wed Jul 3 13:12:43 CEST 2024
1 parent 2d8b0ca commit 568074b

Some content is hidden

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

55 files changed

+4905
-86
lines changed

‎asciinema-player.css

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

‎asciinema-player.min.js

Lines changed: 1 addition & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎images/posts/pexels-gabby-k-7794453.jpg

997 KB
Loading

‎index.html

Lines changed: 3 additions & 2 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.126.3">
4+
<meta name="generator" content="Hugo 0.128.1">
55

66
<title>Cryspen </title>
77

@@ -57,7 +57,8 @@
5757

5858
<meta itemprop="name" content="Cryspen">
5959
<meta itemprop="description" content="High Assurance Cryptography">
60-
<meta itemprop="dateModified" content="2024-06-05T00:00:00+00:00">
60+
<meta itemprop="datePublished" content="2024-07-03T00:00:00+00:00">
61+
<meta itemprop="dateModified" content="2024-07-03T00:00:00+00:00">
6162

6263

6364

‎index.xml

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,15 @@
66
<description>Recent content on Cryspen</description>
77
<generator>Hugo</generator>
88
<language>en-us</language>
9-
<lastBuildDate>Wed, 05 Jun 2024 00:00:00 +0000</lastBuildDate>
9+
<lastBuildDate>Wed, 03 Jul 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>Post-Quantum TLS in Bertie</title>
13+
<link>https://cryspen.com/post/pq-bertie/</link>
14+
<pubDate>Wed, 03 Jul 2024 00:00:00 +0000</pubDate>
15+
<guid>https://cryspen.com/post/pq-bertie/</guid>
16+
<description>The prospect of quantum computers breaking most public key encryption in use today has created the need for new schemes that can resist classical and potential quantum attackers alike.</description>
17+
</item>
1118
<item>
1219
<title>Cryptographic protocol verification with hax</title>
1320
<link>https://cryspen.com/post/hax-pv/</link>

‎post/index.html

Lines changed: 20 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,8 @@
5656

5757
<meta itemprop="name" content="Cryspen">
5858
<meta itemprop="description" content="High Assurance Cryptography">
59-
<meta itemprop="dateModified" content="2024-06-05T00:00:00+00:00">
59+
<meta itemprop="datePublished" content="2024-07-03T00:00:00+00:00">
60+
<meta itemprop="dateModified" content="2024-07-03T00:00:00+00:00">
6061
<meta itemprop="keywords" content="Index">
6162

6263

@@ -238,6 +239,24 @@
238239
</div>
239240
<div class="row g-4 pb-5">
240241

242+
<div class="col-12 col-md-6 col-lg-4">
243+
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/pq-bertie/">
244+
<div class="aspect-ratio-62-5">
245+
246+
247+
<img class="" src="https://cryspen.com/images/posts/pexels-gabby-k-7794453.jpg" alt="/images/posts/pexels-gabby-k-7794453.jpg" width="4000" height="2667">
248+
249+
250+
251+
</div>
252+
<div class="card-body">
253+
<h5 class="card-title fw-semibold">Post-Quantum TLS in Bertie</h5>
254+
<p class="card-subtitle text-black-61">Annonuncing the arrival of post-quantum TLS handshakes in Bertie.</p>
255+
<p class="card-text text-black-61">The prospect of quantum computers breaking most public key encryption in use today has created the need for new schemes that can resist classical and potential quantum attackers alike.</p>
256+
</div>
257+
</a>
258+
</div>
259+
241260
<div class="col-12 col-md-6 col-lg-4">
242261
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/hax-pv/">
243262
<div class="aspect-ratio-62-5">
@@ -384,24 +403,6 @@ <h5 class="card-title fw-semibold">An Analysis of Signal&#39;s PQXDH</h5>
384403
</a>
385404
</div>
386405

387-
<div class="col-12 col-md-6 col-lg-4">
388-
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/cyber-campus-hax/">
389-
<div class="aspect-ratio-62-5">
390-
391-
392-
<img class="" src="https://cryspen.com/images/posts/circus-cyber-campus.png" alt="/images/posts/circus-cyber-campus.png" width="983" height="491">
393-
394-
395-
396-
</div>
397-
<div class="card-body">
398-
<h5 class="card-title fw-semibold">Announcing Campus Cyber Circus Project</h5>
399-
<p class="card-subtitle text-black-61">Cryspen partners with Inria to build a new integrated development and verification environment</p>
400-
<p class="card-text text-black-61">🎉 We’re excited to announce that Cryspen partnered with Inria on a transfer project to build a new integrated development and verification environment (IDVE).</p>
401-
</div>
402-
</a>
403-
</div>
404-
405406
</div>
406407
<div class="row pb-5">
407408

‎post/index.xml

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,15 @@
66
<description>Recent content on Cryspen</description>
77
<generator>Hugo</generator>
88
<language>en-us</language>
9-
<lastBuildDate>Wed, 05 Jun 2024 00:00:00 +0000</lastBuildDate>
9+
<lastBuildDate>Wed, 03 Jul 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>Post-Quantum TLS in Bertie</title>
13+
<link>https://cryspen.com/post/pq-bertie/</link>
14+
<pubDate>Wed, 03 Jul 2024 00:00:00 +0000</pubDate>
15+
<guid>https://cryspen.com/post/pq-bertie/</guid>
16+
<description>The prospect of quantum computers breaking most public key encryption in use today has created the need for new schemes that can resist classical and potential quantum attackers alike.</description>
17+
</item>
1118
<item>
1219
<title>Cryptographic protocol verification with hax</title>
1320
<link>https://cryspen.com/post/hax-pv/</link>

‎post/page/2/index.html

Lines changed: 20 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,8 @@
5656

5757
<meta itemprop="name" content="Cryspen">
5858
<meta itemprop="description" content="High Assurance Cryptography">
59-
<meta itemprop="dateModified" content="2024-06-05T00:00:00+00:00">
59+
<meta itemprop="datePublished" content="2024-07-03T00:00:00+00:00">
60+
<meta itemprop="dateModified" content="2024-07-03T00:00:00+00:00">
6061
<meta itemprop="keywords" content="Index">
6162

6263

@@ -238,6 +239,24 @@
238239
</div>
239240
<div class="row g-4 pb-5">
240241

242+
<div class="col-12 col-md-6 col-lg-4">
243+
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/cyber-campus-hax/">
244+
<div class="aspect-ratio-62-5">
245+
246+
247+
<img class="" src="https://cryspen.com/images/posts/circus-cyber-campus.png" alt="/images/posts/circus-cyber-campus.png" width="983" height="491">
248+
249+
250+
251+
</div>
252+
<div class="card-body">
253+
<h5 class="card-title fw-semibold">Announcing Campus Cyber Circus Project</h5>
254+
<p class="card-subtitle text-black-61">Cryspen partners with Inria to build a new integrated development and verification environment</p>
255+
<p class="card-text text-black-61">🎉 We’re excited to announce that Cryspen partnered with Inria on a transfer project to build a new integrated development and verification environment (IDVE).</p>
256+
</div>
257+
</a>
258+
</div>
259+
241260
<div class="col-12 col-md-6 col-lg-4">
242261
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/scrambledb/">
243262
<div class="aspect-ratio-62-5">
@@ -385,25 +404,6 @@ <h5 class="card-title fw-semibold">HACL Packages v0.6</h5>
385404
</a>
386405
</div>
387406

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/hello-openmls/">
390-
<div class="aspect-ratio-62-5">
391-
392-
393-
<img class="" src="https://cryspen.com/images/posts/openmls.jpeg" alt="/images/posts/openmls.jpeg" width="1920" height="1440">
394-
395-
396-
397-
</div>
398-
<div class="card-body">
399-
<h5 class="card-title fw-semibold">OpenMLS</h5>
400-
<p class="card-subtitle text-black-61"></p>
401-
<p class="card-text text-black-61">We have joined forces with our friends from Phoenix R&amp;D to improve OpenMLS.
402-
The MLS protocol draft is in the IETF working group’s last call and is thus on track to become an RFC soon.</p>
403-
</div>
404-
</a>
405-
</div>
406-
407407
</div>
408408
<div class="row pb-5">
409409

‎post/page/3/index.html

Lines changed: 21 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,8 @@
5656

5757
<meta itemprop="name" content="Cryspen">
5858
<meta itemprop="description" content="High Assurance Cryptography">
59-
<meta itemprop="dateModified" content="2024-06-05T00:00:00+00:00">
59+
<meta itemprop="datePublished" content="2024-07-03T00:00:00+00:00">
60+
<meta itemprop="dateModified" content="2024-07-03T00:00:00+00:00">
6061
<meta itemprop="keywords" content="Index">
6162

6263

@@ -238,6 +239,25 @@
238239
</div>
239240
<div class="row g-4 pb-5">
240241

242+
<div class="col-12 col-md-6 col-lg-4">
243+
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/hello-openmls/">
244+
<div class="aspect-ratio-62-5">
245+
246+
247+
<img class="" src="https://cryspen.com/images/posts/openmls.jpeg" alt="/images/posts/openmls.jpeg" width="1920" height="1440">
248+
249+
250+
251+
</div>
252+
<div class="card-body">
253+
<h5 class="card-title fw-semibold">OpenMLS</h5>
254+
<p class="card-subtitle text-black-61"></p>
255+
<p class="card-text text-black-61">We have joined forces with our friends from Phoenix R&amp;D to improve OpenMLS.
256+
The MLS protocol draft is in the IETF working group’s last call and is thus on track to become an RFC soon.</p>
257+
</div>
258+
</a>
259+
</div>
260+
241261
<div class="col-12 col-md-6 col-lg-4">
242262
<a class="card text-decoration-none h-100" href="https://cryspen.com/post/introducing-hacl-packages/">
243263
<div class="aspect-ratio-62-5">

‎post/pq-bertie/demo.gif

266 KB
Loading

‎post/pq-bertie/index.html

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

‎post/pq-bertie/pq-bertie.cast

Lines changed: 97 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,97 @@
1+
{"version": 2, "width": 158, "height": 36, "timestamp": 1719999797, "env": {"SHELL": "/bin/zsh", "TERM": "xterm-256color"}}
2+
[0.142862, "o", "\u001b[1m\u001b[7m%\u001b[27m\u001b[1m\u001b[0m \r \r\u001b]2;franziskus@FranziskusMbp:~/repos/bertie\u0007\u001b]1;~/repos/bertie\u0007"]
3+
[0.351843, "o", "\r\u001b[0m\u001b[27m\u001b[24m\u001b[J\u001b[39m\u001b[0m\u001b[49m\u001b[44m\u001b[30m ~/repos/bertie \u001b[43m\u001b[34m\u001b[30m  main \u001b[49m\u001b[33m\u001b[39m \u001b[K"]
4+
[0.351882, "o", "\u001b[?1h\u001b="]
5+
[0.351889, "o", "\u001b[?2004h"]
6+
[0.972981, "o", "R"]
7+
[1.058536, "o", "\bRU"]
8+
[1.186041, "o", "S"]
9+
[1.266211, "o", "T"]
10+
[1.458955, "o", "_"]
11+
[1.755755, "o", "L"]
12+
[1.952906, "o", "O"]
13+
[2.098517, "o", "G"]
14+
[3.524461, "o", "="]
15+
[3.762845, "o", "d"]
16+
[3.801113, "o", "e"]
17+
[3.968344, "o", "b"]
18+
[4.063789, "o", "u"]
19+
[4.882837, "o", "g"]
20+
[5.169602, "o", " "]
21+
[5.322439, "o", "c"]
22+
[5.440774, "o", "a"]
23+
[5.497259, "o", "r"]
24+
[5.729377, "o", "g"]
25+
[5.994421, "o", "o"]
26+
[6.097818, "o", " "]
27+
[6.291127, "o", "r"]
28+
[6.402335, "o", "u"]
29+
[6.457172, "o", "n"]
30+
[6.603667, "o", " "]
31+
[6.883779, "o", "-"]
32+
[7.11536, "o", "p"]
33+
[7.346165, "o", " "]
34+
[7.651278, "o", "s"]
35+
[7.753654, "o", "i"]
36+
[7.92327, "o", "m"]
37+
[8.085428, "o", "p"]
38+
[8.201314, "o", "l"]
39+
[8.257167, "o", "e"]
40+
[8.481911, "o", "_"]
41+
[8.715825, "o", "h"]
42+
[8.918882, "o", "t"]
43+
[9.039322, "o", "t"]
44+
[9.242453, "o", "p"]
45+
[9.346753, "o", "s"]
46+
[9.594714, "o", "_"]
47+
[9.784812, "o", "c"]
48+
[9.867852, "o", "l"]
49+
[9.961075, "o", "i"]
50+
[10.047763, "o", "e"]
51+
[10.365028, "o", "n"]
52+
[10.658887, "o", "t"]
53+
[10.82685, "o", " "]
54+
[11.252088, "o", "-"]
55+
[11.369432, "o", "-"]
56+
[12.074761, "o", " "]
57+
[12.875289, "o", "g"]
58+
[12.9298, "o", "o"]
59+
[13.0326, "o", "o"]
60+
[13.138115, "o", "g"]
61+
[13.218303, "o", "l"]
62+
[13.304904, "o", "e"]
63+
[13.555126, "o", "."]
64+
[13.954365, "o", "c"]
65+
[14.089636, "o", "o"]
66+
[14.218002, "o", "m"]
67+
[14.433632, "o", " "]
68+
[14.784813, "o", "-"]
69+
[14.896142, "o", "-"]
70+
[15.106164, "o", "c"]
71+
[15.187019, "o", "i"]
72+
[15.305359, "o", "p"]
73+
[15.408503, "o", "h"]
74+
[15.570958, "o", "e"]
75+
[15.674613, "o", "r"]
76+
[16.020469, "o", "s"]
77+
[16.234249, "o", "u"]
78+
[16.299081, "o", "i"]
79+
[16.391298, "o", "t"]
80+
[16.835321, "o", "e"]
81+
[17.201575, "o", " "]
82+
[19.937526, "o", "\u001b[7mSHA256_Chacha20Poly1305_EcdsaSecp256r1Sha256_X25519Kybe\u001b[7mr\u001b[7m768Draft00\u001b[27m\u001b[K"]
83+
[20.813045, "o", "\u001b[A\u001b[92C\u001b[27mS\u001b[27mH\u001b[27mA\u001b[27m2\u001b[27m5\u001b[27m6\u001b[27m_\u001b[27mC\u001b[27mh\u001b[27ma\u001b[27mc\u001b[27mh\u001b[27ma\u001b[27m2\u001b[27m0\u001b[27mP\u001b[27mo\u001b[27ml\u001b[27my\u001b[27m1\u001b[27m3\u001b[27m0\u001b[27m5\u001b[27m_\u001b[27mE\u001b[27mc\u001b[27md\u001b[27ms\u001b[27ma\u001b[27mS\u001b[27me\u001b[27mc\u001b[27mp\u001b[27m2\u001b[27m5\u001b[27m6\u001b[27mr\u001b[27m1\u001b[27mS\u001b[27mh\u001b[27ma\u001b[27m2\u001b[27m5\u001b[27m6\u001b[27m_\u001b[27mX\u001b[27m2\u001b[27m5\u001b[27m5\u001b[27m1\u001b[27m9\u001b[27mK\u001b[27my\u001b[27mb\u001b[27mer\u001b[27m7\u001b[27m6\u001b[27m8\u001b[27mD\u001b[27mr\u001b[27ma\u001b[27mf\u001b[27mt\u001b[27m0\u001b[27m0"]
84+
[22.171088, "o", "\u001b[?1l\u001b>"]
85+
[22.17135, "o", "\u001b[?2004l\r\r\n"]
86+
[22.172793, "o", "\u001b]2;RUST_LOG=debug cargo run -p simple_https_client -- google.com --ciphersuite \u0007\u001b]1;cargo\u0007"]
87+
[22.558799, "o", "\u001b[1m\u001b[32m Finished\u001b[0m `dev` profile [unoptimized + debuginfo] target(s) in 0.30s\r\n"]
88+
[22.561676, "o", "\u001b[1m\u001b[32m Running\u001b[0m `target/debug/tls13client google.com --ciphersuite SHA256_Chacha20Poly1305_EcdsaSecp256r1Sha256_X25519Kyber768Draft00`\r\n"]
89+
[22.786012, "o", "\u001b[2m2024-07-03T09:43:39.805090Z\u001b[0m \u001b[32m INFO\u001b[0m \u001b[2mtls13client\u001b[0m\u001b[2m:\u001b[0m Starting new Client connection ...\r\n\u001b[2m2024-07-03T09:43:39.805150Z\u001b[0m \u001b[34mDEBUG\u001b[0m \u001b[2mtls13client\u001b[0m\u001b[2m:\u001b[0m google.com:443\r\n\u001b[2m2024-07-03T09:43:39.805155Z\u001b[0m \u001b[34mDEBUG\u001b[0m \u001b[2mtls13client\u001b[0m\u001b[2m:\u001b[0m Algorithms {\r\n hash: SHA256,\r\n aead: Chacha20Poly1305,\r\n signature: EcdsaSecp256r1Sha256,\r\n kem: X25519Kyber768Draft00,\r\n psk_mode: false,\r\n zero_rtt: false,\r\n}\r\n"]
90+
[22.903846, "o", "\u001b[2m2024-07-03T09:43:39.922866Z\u001b[0m \u001b[34mDEBUG\u001b[0m \u001b[2mtls13client\u001b[0m\u001b[2m:\u001b[0m Received HTTP response\r\n\u001b[2m2024-07-03T09:43:39.922920Z\u001b[0m \u001b[34mDEBUG\u001b[0m \u001b[2mtls13client\u001b[0m\u001b[2m:\u001b[0m HTTP/1.1 301 Moved Permanently\r\r\nLocation: https://www.google.com/\r\r\nContent-Type: text/html; charset=UTF-8\r\r\nContent-Security-Policy-Report-Only: object-src 'none';base-uri 'self';script-src 'nonce-wjzsLgHdsylgDIvoPU040Q' 'strict-dynamic' 'report-sample' 'unsafe-eval' 'unsafe-inline' https: http:;report-uri https://csp.withgoogle.com/csp/gws/other-hp\r\r\nDate: Wed, 03 Jul 2024 09:43:39 GMT\r\r\nExpires: Fri, 02 Aug 2024 09:43:39 GMT\r\r\nCache-Control: public, max-age=2592000\r\r\nServer: gws\r\r\nContent-Length: 220\r\r\nX-XSS-Protection: 0\r\r\nX-Frame-Options: SAMEORIGIN\r\r\nAlt-Svc: h3=\":443\"; ma=2592000,h3-29=\":443\"; ma=2592000\r\r\n\r\r\n<HTML><HEAD><meta http-equiv=\"content-type\" content=\"text/html;charset=utf-8\">\r\n<TITLE>301 Moved</TITLE></HEAD><BODY>\r\n<H1>301 Moved</H1>\r\nThe document has moved\r\n<A HREF=\"https://www.google.com/\">here</A>.\r\r\n</BODY"]
91+
[22.90401, "o", "></HTML>\r\r\n\r\n\u001b[2m2024-07-03T09:43:39.922995Z\u001b[0m \u001b[32m INFO\u001b[0m \u001b[2mtls13client\u001b[0m\u001b[2m:\u001b[0m Connection to \"google.com:443\" succeeded.\r\n"]
92+
[22.905166, "o", "\u001b[1m\u001b[7m%\u001b[27m\u001b[1m\u001b[0m \r \r"]
93+
[22.905303, "o", "\u001b]2;franziskus@FranziskusMbp:~/repos/bertie\u0007\u001b]1;~/repos/bertie\u0007"]
94+
[23.144377, "o", "\r\u001b[0m\u001b[27m\u001b[24m\u001b[J\u001b[39m\u001b[0m\u001b[49m\u001b[44m\u001b[30m ~/repos/bertie \u001b[43m\u001b[34m\u001b[30m  main \u001b[49m\u001b[33m\u001b[39m \u001b[K"]
95+
[23.144405, "o", "\u001b[?1h\u001b="]
96+
[23.144473, "o", "\u001b[?2004h"]
97+
[25.339551, "o", "\u001b[?2004l\r\r\n"]

‎sitemap.xml

Lines changed: 23 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -3,25 +3,40 @@
33
xmlns:xhtml="http://www.w3.org/1999/xhtml">
44
<url>
55
<loc>https://cryspen.com/</loc>
6-
<lastmod>2024-06-05T00:00:00+00:00</lastmod>
6+
<lastmod>2024-07-03T00:00:00+00:00</lastmod>
77
</url><url>
88
<loc>https://cryspen.com/post/</loc>
9-
<lastmod>2024-06-05T00:00:00+00:00</lastmod>
9+
<lastmod>2024-07-03T00:00:00+00:00</lastmod>
10+
</url><url>
11+
<loc>https://cryspen.com/tags/bertie/</loc>
12+
<lastmod>2024-07-03T00:00:00+00:00</lastmod>
13+
</url><url>
14+
<loc>https://cryspen.com/tags/index/</loc>
15+
<lastmod>2024-07-03T00:00:00+00:00</lastmod>
16+
</url><url>
17+
<loc>https://cryspen.com/tags/kyber/</loc>
18+
<lastmod>2024-07-03T00:00:00+00:00</lastmod>
19+
</url><url>
20+
<loc>https://cryspen.com/tags/post-quantum/</loc>
21+
<lastmod>2024-07-03T00:00:00+00:00</lastmod>
22+
</url><url>
23+
<loc>https://cryspen.com/post/pq-bertie/</loc>
24+
<lastmod>2024-07-03T00:00:00+00:00</lastmod>
25+
</url><url>
26+
<loc>https://cryspen.com/tags/</loc>
27+
<lastmod>2024-07-03T00:00:00+00:00</lastmod>
28+
</url><url>
29+
<loc>https://cryspen.com/tags/tls/</loc>
30+
<lastmod>2024-07-03T00:00:00+00:00</lastmod>
1031
</url><url>
1132
<loc>https://cryspen.com/post/hax-pv/</loc>
1233
<lastmod>2024-06-05T00:00:00+00:00</lastmod>
1334
</url><url>
1435
<loc>https://cryspen.com/tags/hax/</loc>
1536
<lastmod>2024-06-05T00:00:00+00:00</lastmod>
16-
</url><url>
17-
<loc>https://cryspen.com/tags/index/</loc>
18-
<lastmod>2024-06-05T00:00:00+00:00</lastmod>
1937
</url><url>
2038
<loc>https://cryspen.com/tags/proverif/</loc>
2139
<lastmod>2024-06-05T00:00:00+00:00</lastmod>
22-
</url><url>
23-
<loc>https://cryspen.com/tags/</loc>
24-
<lastmod>2024-06-05T00:00:00+00:00</lastmod>
2540
</url><url>
2641
<loc>https://cryspen.com/post/rwc2024/</loc>
2742
<lastmod>2024-04-23T00:00:00+00:00</lastmod>

‎tags/analysis/index.html

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -56,6 +56,7 @@
5656

5757
<meta itemprop="name" content="Analysis">
5858
<meta itemprop="description" content="High Assurance Cryptography">
59+
<meta itemprop="datePublished" content="2023-10-20T00:00:00+00:00">
5960
<meta itemprop="dateModified" content="2023-10-20T00:00:00+00:00">
6061

6162

‎tags/atlas/index.html

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -56,6 +56,7 @@
5656

5757
<meta itemprop="name" content="ATLAS">
5858
<meta itemprop="description" content="High Assurance Cryptography">
59+
<meta itemprop="datePublished" content="2023-09-18T00:00:00+00:00">
5960
<meta itemprop="dateModified" content="2023-09-18T00:00:00+00:00">
6061

6162

0 commit comments

Comments
 (0)