sitemap.xml

<?xml version="1.0" encoding="utf-8" standalone="yes"?><urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9" xmlns:xhtml="http://www.w3.org/1999/xhtml"><url><loc>https://cryspen.com/</loc><lastmod>2025-02-10T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/</loc><lastmod>2025-02-10T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/welcome_clara/</loc><lastmod>2025-02-10T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/index/</loc><lastmod>2025-02-10T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/people/</loc><lastmod>2025-02-10T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/</loc><lastmod>2025-02-10T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/bertie/</loc><lastmod>2024-12-19T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/hybrid/</loc><lastmod>2024-12-19T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/ml-kem/</loc><lastmod>2024-12-19T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/post-quantum/</loc><lastmod>2024-12-19T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/tls/</loc><lastmod>2024-12-19T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/pq-bertie-server/</loc><lastmod>2024-12-19T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/vstte2024/</loc><lastmod>2024-10-14T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/hacspec/</loc><lastmod>2024-10-14T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/hax/</loc><lastmod>2024-10-14T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/libcrux/</loc><lastmod>2024-10-14T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/crypto2024/</loc><lastmod>2024-08-20T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/fospqc/</loc><lastmod>2024-08-19T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/pq/</loc><lastmod>2024-08-19T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/announcement-playground/</loc><lastmod>2024-08-14T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/welcome_maxime/</loc><lastmod>2024-08-06T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/pqc-iot-announce/</loc><lastmod>2024-08-05T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/iot/</loc><lastmod>2024-08-05T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/fmcp/</loc><lastmod>2024-07-28T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/hax-sandbox/</loc><lastmod>2024-07-19T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/kyber/</loc><lastmod>2024-07-03T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/pq-bertie/</loc><lastmod>2024-07-03T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/hax-pv/</loc><lastmod>2024-06-05T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/proverif/</loc><lastmod>2024-06-05T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/rwc2024/</loc><lastmod>2024-04-23T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/mls/</loc><lastmod>2024-04-23T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/openmls/</loc><lastmod>2024-04-11T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/pq-openmls/</loc><lastmod>2024-04-11T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/pq-mls/</loc><lastmod>2024-04-10T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/pqc/</loc><lastmod>2024-01-30T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/ml-kem-verification/</loc><lastmod>2024-01-30T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/ml-kem-implementation/</loc><lastmod>2024-01-16T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/welcome_jan_lucas/</loc><lastmod>2024-01-08T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/pqxdh/</loc><lastmod>2023-10-20T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/analysis/</loc><lastmod>2023-10-20T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/services/</loc><lastmod>2023-10-20T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/cyber-campus-hax/</loc><lastmod>2023-09-20T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/atlas/</loc><lastmod>2023-09-18T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/scrambledb/</loc><lastmod>2023-09-18T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/scrambledb/</loc><lastmod>2023-09-18T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/internet-defense-prize-2023/</loc><lastmod>2023-08-14T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/pets/</loc><lastmod>2023-08-09T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/prarie-and-atlas/</loc><lastmod>2023-08-09T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/rfc/</loc><lastmod>2023-07-31T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/mls-introduction/</loc><lastmod>2023-07-31T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/mls-rfc-announcement/</loc><lastmod>2023-07-18T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/welcome_jonas/</loc><lastmod>2023-07-10T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/rwc-2023/</loc><lastmod>2023-06-12T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/about/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/advanced-crypto/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/circus/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/company/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/company/dei/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/hacl/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/hacl/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/hacspec/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/circus/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/hax-toolchain/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/work/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/hpke/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/hpke/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/imprint/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/jobs/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/libcrux/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/openmls/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/pq/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/mls/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/prove/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/hacl-0_6/</loc><lastmod>2022-11-07T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/ocaml/</loc><lastmod>2022-11-07T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/release/</loc><lastmod>2022-11-07T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/ietf/</loc><lastmod>2022-10-19T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/hello-openmls/</loc><lastmod>2022-10-19T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/introducing-hacl-packages/</loc><lastmod>2022-06-07T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/engineering/</loc><lastmod>2022-05-02T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/formal-methods/</loc><lastmod>2022-05-02T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/high-assurance/</loc><lastmod>2022-05-02T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/high-assurance-cryptography-1/</loc><lastmod>2022-05-02T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/hpke_spec/</loc><lastmod>2022-02-24T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/tldr/</loc><lastmod>2022-02-24T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/tldr-hpke/</loc><lastmod>2022-02-24T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/post/erc-poc/</loc><lastmod>2022-02-10T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/erc/</loc><lastmod>2022-02-10T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/tags/grant/</loc><lastmod>2022-02-10T00:00:00+00:00</lastmod></url><url><loc>https://cryspen.com/series/</loc></url></urlset>