index.html

<!doctype html><html lang=en><head><meta name=generator content="Hugo 0.165.0"><meta charset=utf-8><meta name=viewport content="width=device-width,initial-scale=1"><title>CE Labs</title><meta name=description content="CE Labs is a high-assurance security engineering company — applied cryptography, protocol design, and formal verification, secure from the cryptography up."><link rel=preconnect href=https://fonts.googleapis.com><link rel=preconnect href=https://fonts.gstatic.com crossorigin><link href="https://fonts.googleapis.com/css2?family=IBM+Plex+Sans:wght@400;500;600;700&family=IBM+Plex+Mono:wght@400;500;600&display=swap" rel=stylesheet><link rel=stylesheet href=/css/main.6b47c808378131aec673cd5697d0b89afcef7ee9c0aecd6f90c08741029a4713.css integrity="sha256-a0fICDeBMa7Gc81Wl9C4mvzvfunArs1vkMCHQQKaRxM="><link rel=icon href=/favicon.svg type=image/svg+xml><link rel=icon href=/favicon-32.png sizes=32x32 type=image/png><link rel=icon href=/favicon-16.png sizes=16x16 type=image/png><link rel=apple-touch-icon href=/apple-touch-icon.png><meta name=theme-color content="#0E2436"><link rel=canonical href=https://celabs.eu/><link rel=alternate type=application/rss+xml href=https://celabs.eu/index.xml title="CE Labs"><meta property="og:title" content="CE Labs"><meta property="og:type" content="website"><meta property="og:site_name" content="CE Labs"><meta property="og:url" content="https://celabs.eu/"><meta property="og:description" content="CE Labs is a high-assurance security engineering company — applied cryptography, protocol design, and formal verification, secure from the cryptography up."><meta property="og:image" content="https://celabs.eu/social-card.png"><meta property="og:image:width" content="1200"><meta property="og:image:height" content="630"><meta name=twitter:card content="summary_large_image"><meta name=twitter:title content="CE Labs"><meta name=twitter:description content="CE Labs is a high-assurance security engineering company — applied cryptography, protocol design, and formal verification, secure from the cryptography up."><meta name=twitter:image content="https://celabs.eu/social-card.png"><script type=application/ld+json>{"@context":"https://schema.org","@type":"Organization","name":"CE Labs","url":"https:\/\/celabs.eu\/","logo":"https:\/\/celabs.eu\/apple-touch-icon.png","description":"Secure systems engineering, verified all the way down to the cryptography.","sameAs":["https://cryspen.com","https://github.com/celabshq"]}</script><script type=application/ld+json>{"@context":"https://schema.org","@type":"WebSite","name":"CE Labs","url":"https:\/\/celabs.eu\/"}</script></head><body><header class=nav><div class="wrap nav__row"><a href=/ class=ce-seal-lockup aria-label="CE Labs home"><span class=ce-seal><span>CE</span></span>
<span class=ce-seal__text><span class=ce-seal__name>CE Labs</span>
<span class=ce-seal__sub>Cryptography Engineering</span>
</span></a><button class=nav__toggle type=button aria-label="Toggle menu" aria-expanded=false aria-controls=nav-menu>
<span aria-hidden=true></span>
<span aria-hidden=true></span>
<span aria-hidden=true></span></button><div class=nav__menu id=nav-menu><nav class=nav__links><a href=/services/>Services</a>
<a href=/blog/>Blog</a>
<a href=/publications/>Publications</a>
<a href=/projects/>Projects</a>
<a href=/about/>About</a></nav><a href=/contact/ class="btn btn--solid nav__cta">Contact</a></div></div></header><script>(function(){var e=document.querySelector("header.nav"),t=e&&e.querySelector(".nav__toggle");if(!t)return;t.addEventListener("click",function(){var n=e.classList.toggle("is-open");t.setAttribute("aria-expanded",n?"true":"false")}),e.querySelectorAll(".nav__menu a").forEach(function(n){n.addEventListener("click",function(){e.classList.remove("is-open"),t.setAttribute("aria-expanded","false")})})})()</script><main><section class=hero><div class="wrap hero__grid"><div><span class=eyebrow>High Assurance Security Engineering</span><h1>Secure design, <em>engineered for certainty</em>.</h1><p class=hero__lede>CE Labs designs and builds systems where security comes first — applied cryptography and rigorous engineering, backed by formal methods where correctness matters most.</p><div class=cta><a href=/contact/ class="btn btn--solid">Get in touch <span class=arw>→</span></a>
<a href=/services/ class="btn btn--ghost">Learn more</a></div></div><div class="card showcase"><img src=/images/hero-lattice.svg alt="Point lattice whose highlighted points spell CE — a post-quantum cryptography motif" loading=lazy></div></div></section><section class="band band--alt" id=services><div class=wrap><div class=sec-head><div class=l><span class=eyebrow>What we do</span><h2>Security on every layer.</h2></div></div><div class=stack><article class="card layer"><div class=layer__meta><span class=layer__no>L1</span>
<span class=layer__depth>System</span>
<span class=layer__bar style=width:24px></span></div><div class=layer__body><h3>Systems & Architecture</h3><p>Threat models, trust boundaries, and the architecture of systems that stay secure under real-world pressure — not just on the whiteboard.</p></div><div class=layer__tags><span>Threat modelling</span><span>Design review</span>
<span class=is-tech>STRIDE</span><span class=is-tech>MITRE ATT&amp;CK</span></div></article><article class="card layer"><div class=layer__meta><span class=layer__no>L2</span>
<span class=layer__depth>Protocol</span>
<span class=layer__bar style=width:48px></span></div><div class=layer__body><h3>Protocols & Key Management</h3><p>Key exchange, authentication, and transport — designed and reviewed against formal security models and the threats they actually face.</p></div><div class=layer__tags><span>Protocol analysis</span><span>Design</span>
<span class=is-tech>TLS</span><span class=is-tech>MLS</span></div></article><article class="card layer"><div class=layer__meta><span class=layer__no>L3</span>
<span class=layer__depth>Primitive</span>
<span class=layer__bar style=width:72px></span></div><div class=layer__body><h3>Cryptography Engineering</h3><p>The algorithms at the foundation: implemented for performance and correctness, hardened against side channels, and post-quantum ready.</p></div><div class=layer__tags><span>Performance</span><span>Post-quantum</span>
<span class=is-tech>ML-KEM</span><span class=is-tech>AES-GCM</span></div></article><article class="card layer"><div class=layer__meta><span class=layer__no>L4</span>
<span class=layer__depth>Foundation</span>
<span class=layer__bar style=width:96px></span></div><div class=layer__body><h3>Machine-Checked Proofs</h3><p>When the stakes call for it, we go further: machine-checked proofs that the code meets its specification.</p></div><div class=layer__tags><span>Functional correctness</span><span>Equivalence proofs</span>
<span class=is-tech>F*</span><span class=is-tech>Lean</span></div></article></div></div></section><section class=band id=blog><div class=wrap><div class=sec-head><div class=l><span class=eyebrow>From the blog</span><h2>We write about what we build.</h2></div></div><div class=cards><a class="card post-card" href=/blog/pq-hpke/><div class=post-card__image><img src=/images/pq-hpke-hybrid.svg alt loading=lazy width=1200 height=400></div><div class=meta><span class=cat>Demo</span><span>2026·07·31</span></div><h3>Post-Quantum HPKE</h3><p>Bringing hybrid public key encryption into the post-quantum era.</p><span class=more>Read →</span>
</a><a class="card post-card" href=/blog/pq-readiness-check/><div class=post-card__image><img src=/images/pq-readiness-hero.svg alt loading=lazy width=1200 height=400></div><div class=meta><span class=cat>Post-Quantum</span><span>2026·07·24</span></div><h3>Check Your Post-Quantum Readiness</h3><p>Test if you are ready for the post-quantum transition.</p><span class=more>Read →</span></a></div><a href=/blog/ class=seemore>All posts <span>→</span></a></div></section><section class="band band--alt" id=research><div class=wrap><div class=sec-head><div class=l><span class=eyebrow>Projects</span><h2>Code that we've open-sourced.</h2></div></div><div class="card panelcard" id=opensource><h3 class=kicker>Open source</h3><a class=repo href=https://github.com/celabshq/libcrux/tree/main/crates/protocols/hpke><div class=repo__top><span class=repo__name>celabshq/hpke-rs</span><span class="repo__lang repo__lang--library">Library</span></div><p>A high-assurance Rust implementation of HPKE (Hybrid Public Key Encryption, RFC 9180), built on libcrux's verified cryptographic primitives.</p></a><a class=repo href=https://github.com/celabshq/libcrux><div class=repo__top><span class=repo__name>celabshq/libcrux</span><span class="repo__lang repo__lang--library">Library</span></div><p>A high-assurance cryptographic library: formally verified, high-performance implementations of post-quantum and classical primitives.</p></a><a href=/projects/ class=seemore>View all projects <span>→</span></a></div></div></section><section class=band id=contact><div class=wrap><div class=cta-band><div><h2>Have something that has to be right?</h2><p>Tell us what you're building. We'll tell you what it would take to make it secure.</p></div><a href=/contact/ class="btn btn--amber">Start a conversation <span class=arw>→</span></a></div></div></section></main><footer class=foot><div class=wrap><div class=foot__grid><div class="foot__brand on-ink"><span class=ce-lockup><span class=ce-lockup__word>CE<span class=ce-dot></span>Labs</span>
<span class=ce-lockup__rule><span class=ce-bar></span><span class=ce-sub>Cryptography Engineering</span></span></span><p>High-assurance security engineering — built secure from the cryptography up, for organisations that cannot afford to be wrong.</p></div><div><h5>Tools & Services</h5><ul><li><a href=https://pq.celabs.eu/ target=_blank rel=noopener>PQ Readiness Check</a></li></ul></div><div><h5>Company</h5><ul><li><a href=/about/>About</a></li><li><a href=/about/#team>Team</a></li><li><a href=/careers/>Careers</a></li><li><a href=/imprint/>Imprint</a></li></ul></div></div><div class=foot__bottom><span>© 2026 CE Labs</span>
<span><a class=foot__spinoff href=https://cryspen.com target=_blank rel=noopener><span class=foot__spinoff-label>A</span>
<img src=/images/cryspen-logo.svg alt=Cryspen loading=lazy>
<span class=foot__spinoff-label>spin-off.</span>
</a></span><span>secure(system) ⊨ spec</span></div></div></footer></body></html>