rebuilding site Tue Jan 21 15:58:02 CET 2025

cryspen · Jan 21, 2025 · ac087ed · ac087ed
1 parent b987bf3
commit ac087ed
Show file tree

Hide file tree

Showing 52 changed files with 89 additions and 1,010 deletions.
diff --git a/company/Untitled-1 b/company/Untitled-1
diff --git a/company/careers/index.html b/company/careers/index.html
diff --git a/hax/architecture.png → hax-toolchain/architecture.png b/hax/architecture.png → hax-toolchain/architecture.png
diff --git a/hax-toolchain/index.html b/hax-toolchain/index.html
diff --git a/hax/index.html b/hax/index.html
diff --git a/images/Karthik.jpg b/images/Karthik.jpg
diff --git a/images/Karthik_hu4711156018490632770.jpg b/images/Karthik_hu4711156018490632770.jpg
diff --git a/images/brands/erc.jpg b/images/brands/erc.jpg
diff --git a/images/brands/logo_haut_bleu_couleur.png b/images/brands/logo_haut_bleu_couleur.png
diff --git a/images/brands/nlnet.png b/images/brands/nlnet.png
diff --git a/images/building-blocks.png b/images/building-blocks.png
diff --git a/images/building-blocks_hu10334104081532164219.png b/images/building-blocks_hu10334104081532164219.png
diff --git a/images/building-blocks_hu13114925251612874719.png b/images/building-blocks_hu13114925251612874719.png
diff --git a/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_114x114_fit_box_3.png b/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_114x114_fit_box_3.png
diff --git a/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_120x120_fit_box_3.png b/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_120x120_fit_box_3.png
diff --git a/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_128x128_fit_box_3.png b/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_128x128_fit_box_3.png
diff --git a/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_144x144_fit_box_3.png b/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_144x144_fit_box_3.png
diff --git a/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_152x152_fit_box_3.png b/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_152x152_fit_box_3.png
diff --git a/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_180x180_fit_box_3.png b/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_180x180_fit_box_3.png
diff --git a/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_195x195_fit_box_3.png b/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_195x195_fit_box_3.png
diff --git a/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_196x196_fit_box_3.png b/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_196x196_fit_box_3.png
diff --git a/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_228x228_fit_box_3.png b/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_228x228_fit_box_3.png
diff --git a/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_270x270_fit_box_3.png b/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_270x270_fit_box_3.png
diff --git a/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_32x32_fit_box_3.png b/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_32x32_fit_box_3.png
diff --git a/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_558x270_fit_box_3.png b/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_558x270_fit_box_3.png
diff --git a/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_558x558_fit_box_3.png b/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_558x558_fit_box_3.png
diff --git a/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_57x57_fit_box_3.png b/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_57x57_fit_box_3.png
diff --git a/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_72x72_fit_box_3.png b/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_72x72_fit_box_3.png
diff --git a/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_76x76_fit_box_3.png b/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_76x76_fit_box_3.png
diff --git a/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_96x96_fit_box_3.png b/images/favicon_huddb5c91d9403d7a5fbf76d2a4e665545_3314_96x96_fit_box_3.png
diff --git a/images/franziskus.jpg b/images/franziskus.jpg
diff --git a/images/franziskus_hu16099347997679409200.jpg b/images/franziskus_hu16099347997679409200.jpg
diff --git a/images/jonas_hu13831446390798652677.jpg b/images/jonas_hu13831446390798652677.jpg
diff --git a/images/maxime.png b/images/maxime.png
diff --git a/images/maxime_hu11135494737972670791.png b/images/maxime_hu11135494737972670791.png
diff --git a/images/maxime_hu4708373074141197706.png b/images/maxime_hu4708373074141197706.png
diff --git a/images/services-web-development.png b/images/services-web-development.png
diff --git a/images/services-web-development_hu10578116851430875170.png b/images/services-web-development_hu10578116851430875170.png
diff --git a/images/services-web-development_hu11945020976391575583.png b/images/services-web-development_hu11945020976391575583.png
diff --git a/images/testimonials-awards.png b/images/testimonials-awards.png
diff --git a/images/testimonials-left-quote.png b/images/testimonials-left-quote.png
diff --git a/images/testimonials-right-quote.png b/images/testimonials-right-quote.png
diff --git a/images/undraw_male_avatar_cryspen_hu4292326513303277466.png b/images/undraw_male_avatar_cryspen_hu4292326513303277466.png
diff --git a/index.html b/index.html
diff --git a/post/announcement-playground/output.webm b/post/announcement-playground/output.webm
diff --git a/...Crypto-2024-Integrating-Formal-Methods-In-Cryptographic-Standards-and-Implementations.pdf b/...Crypto-2024-Integrating-Formal-Methods-In-Cryptographic-Standards-and-Implementations.pdf
diff --git a/post/hax-pv/pexels-punchbrandstock-2249429.jpg b/post/hax-pv/pexels-punchbrandstock-2249429.jpg
diff --git a/post/pq-bertie/demo.gif b/post/pq-bertie/demo.gif
diff --git a/post/pq-openmls/mls-array-tree.png b/post/pq-openmls/mls-array-tree.png
diff --git a/post/scrambledb/demo/index.html b/post/scrambledb/demo/index.html
diff --git a/post/scrambledb/scrambldb/index.html b/post/scrambledb/scrambldb/index.html