Repository navigation
Expand file tree
/
Copy pathindex.xml
More file actions
1 lines (1 loc) · 11.8 KB
/
Copy pathindex.xml
File metadata and controls
1 lines (1 loc) · 11.8 KB
1
<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Home on CE Labs</title><link>https://celabs.eu/</link><description>Recent content in Home on CE Labs</description><generator>Hugo</generator><language>en-us</language><lastBuildDate>Fri, 31 Jul 2026 00:00:00 +0000</lastBuildDate><atom:link href="https://celabs.eu/index.xml" rel="self" type="application/rss+xml"/><item><title>hpke-rs</title><link>https://celabs.eu/projects/hpke-rs/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://celabs.eu/projects/hpke-rs/</guid><description/></item><item><title>libcrux</title><link>https://celabs.eu/projects/libcrux/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://celabs.eu/projects/libcrux/</guid><description/></item><item><title>libcrux-iot</title><link>https://celabs.eu/projects/libcrux-iot/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://celabs.eu/projects/libcrux-iot/</guid><description/></item><item><title>OpenMLS</title><link>https://celabs.eu/projects/openmls/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://celabs.eu/projects/openmls/</guid><description/></item><item><title>PQ Readiness Check</title><link>https://celabs.eu/projects/pq-readiness/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://celabs.eu/projects/pq-readiness/</guid><description/></item><item><title>Post-Quantum HPKE</title><link>https://celabs.eu/blog/pq-hpke/</link><pubDate>Fri, 31 Jul 2026 00:00:00 +0000</pubDate><guid>https://celabs.eu/blog/pq-hpke/</guid><description><p>The IETF is working on <a href="https://datatracker.ietf.org/doc/html/draft-ietf-hpke-pq-05" target="_blank" rel="noopener noreferrer">post-quantum security for HPKE</a> , the scheme used in protocols like TLS ECH, MLS, and Oblivious HTTP. We&rsquo;ve implemented the draft: it runs today in hpke-rs, part of <a href="https://github.com/celabshq/libcrux" target="_blank" rel="noopener noreferrer">libcrux</a> , and you can try it live in the demo further down this post. This post covers what changes on the way to post-quantum HPKE, and why the transition may not be a drop-in.</p></description></item><item><title>Check Your Post-Quantum Readiness</title><link>https://celabs.eu/blog/pq-readiness-check/</link><pubDate>Fri, 24 Jul 2026 00:00:00 +0000</pubDate><guid>https://celabs.eu/blog/pq-readiness-check/</guid><description><p>The post-quantum transition is no longer a future concern. Browsers and cloud providers are negotiating post-quantum key exchange by default for a while now, using the NIST standardized algorithms. The <em>harvest-now, decrypt-later</em> threat means data captured today can be broken once a cryptographically relevant quantum computer exists. None of this is new, but the timelines keep moving closer: <a href="https://arxiv.org/html/2505.15917v1" target="_blank" rel="noopener noreferrer">Google&rsquo;s estimates</a> for the resources needed to break classical cryptography have dropped sharply, and the <a href="https://www.bsi.bund.de/EN/Themen/Unternehmen-und-Organisationen/Informationen-und-Empfehlungen/Quantentechnologien-und-Post-Quanten-Kryptografie/quantentechnologien-und-post-quanten-kryptografie_node.html" target="_blank" rel="noopener noreferrer">BSI</a> continues to urge organizations to start migrating now. The practical question for most teams is simple: <strong>where do we actually stand right now?</strong></p></description></item><item><title>Announcing CE Labs</title><link>https://celabs.eu/blog/ce-labs-announcement/</link><pubDate>Wed, 24 Jun 2026 00:00:00 +0000</pubDate><guid>https://celabs.eu/blog/ce-labs-announcement/</guid><description><p>Today we&rsquo;re launching CE Labs, focused on high-assurance security engineering, spun off from <a href="https://cryspen.com" target="_blank" rel="noopener noreferrer">Cryspen</a> . The new independence lets both teams pursue their missions with greater agility: Cryspen continues its work on verification products and the <a href="https://cryspen.com/spectrum" target="_blank" rel="noopener noreferrer">Spectrum EIC Grant initiative</a> , while we concentrate on designing and building systems that are secure from the cryptography up. This is just the start — we&rsquo;ve got exciting projects underway and plenty to share, so expect more from us here soon.</p></description></item><item><title>Pushing the Boundaries of PQC for IoT</title><link>https://celabs.eu/blog/iot-pqc-06-2025/</link><pubDate>Wed, 02 Jul 2025 00:00:00 +0000</pubDate><guid>https://celabs.eu/blog/iot-pqc-06-2025/</guid><description><p>We&rsquo;re dedicated to bringing robust, next-generation cryptography to even the most resource-constrained devices. One direction of ongoing work has focused heavily on implementing and optimizing the NIST-standardized post-quantum cryptographic algorithms, ML-KEM (formerly Kyber) and ML-DSA (formerly Dilithium), along with the SHA-3 hash function, specifically for the Internet of Things (IoT) ecosystem. All of our technical work and results are open source and available on our <a href="https://github.com/cryspen/libcrux-iot/" target="_blank" rel="noopener noreferrer">Github repository</a> .</p></description></item><item><title>High Assurance Post-Quantum Cryptography for IoT</title><link>https://celabs.eu/blog/iot-pqc-announce/</link><pubDate>Mon, 05 Aug 2024 00:00:00 +0000</pubDate><guid>https://celabs.eu/blog/iot-pqc-announce/</guid><description><p>We extend the <a href="https://github.com/cryspen/libcrux" target="_blank" rel="noopener noreferrer">libcrux</a> cryptographic library with support for resource constrained IoT devices. The libcrux-iot library contains high performance, high assurance implementations of post-quantum, as well as classical, cryptographic primitives.</p></description></item><item><title>About CE Labs</title><link>https://celabs.eu/about/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://celabs.eu/about/</guid><description><p>We are a specialized European team of cryptography engineers partnering with organizations building software where the cost of failure is absolute.</p> <p>Most teams stop at code reviews and pentesting. We go further. Our engineers don&rsquo;t just look for bugs; we explicitly define what &ldquo;secure&rdquo; means for your architecture and show that your system achieves it. We replace human guesswork with empirical evidence.</p></description></item><item><title>Careers</title><link>https://celabs.eu/careers/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://celabs.eu/careers/</guid><description><div id="join-widget"> <script defer type="text/javascript" data-mount-in="#join-widget" src="https://join.com/api/widget/bundle/eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJzZXR0aW5ncyI6eyJzaG93Q2F0ZWdvcnlGaWx0ZXIiOnRydWUsInNob3dMb2NhdGlvbkZpbHRlciI6dHJ1ZSwic2hvd0VtcGxveW1lbnRUeXBlRmlsdGVyIjp0cnVlLCJsYW5ndWFnZSI6ImVuIiwiam9ic1BlclBhZ2UiOjI1fSwiam9icyI6e30sImRlc2lnbiI6eyJzaG93TG9nbyI6dHJ1ZSwic2hvd0xvY2F0aW9uIjp0cnVlLCJzaG93RW1wbG95bWVudFR5cGUiOnRydWUsInNob3dDYXRlZ29yeSI6dHJ1ZSwiY29sb3JzIjp7IndpZGdldCI6eyJiYWNrZ3JvdW5kIjoiI0ZGRkZGRiIsImZpbHRlckJvcmRlciI6IiNENEQ0RDgiLCJwYWdpbmF0aW9uIjoiIzI1NjNFQiJ9LCJqb2JDYXJkIjp7InNoYWRvdyI6IiNENEQ0RDgiLCJiYWNrZ3JvdW5kIjoiI0ZGRkZGRiIsInByaW1hcnlUZXh0IjoiIzNGM0Y0NiIsInNlY29uZGFyeVRleHQiOiIjNTI1MjVCIn19fSwidmVyc2lvbiI6MiwiY29tcGFueVB1YmxpY0lkIjoiYzk1MzI4MmU5ODkyY2Y1NjBiYWI1NGU1MDc3MTM2OTYiLCJpYXQiOjE3ODMwNzEwOTcsImp0aSI6IjJkYmU3MmFiLWNkODItNDljMy1iNzQ4LTE2YTE3YWM4OTYwOSJ9.hPzI1uxLSSEJm7TxW6nnuWlv3CZRGUv9PQbG3Upj2Ag" ></script> </div></description></item><item><title>Contact</title><link>https://celabs.eu/contact/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://celabs.eu/contact/</guid><description><p>The best engagements start with a concrete problem. Whether you&rsquo;re designing a new system, hardening an existing one, building on advanced cryptography, or planning a post-quantum migration, we&rsquo;re happy to talk through scope and what assurance is realistic.</p></description></item><item><title>embedded-cal: A Formally Verified Cryptographic Provider for Embedded Platforms</title><link>https://celabs.eu/publications/embedded-cal/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://celabs.eu/publications/embedded-cal/</guid><description/></item><item><title>Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust</title><link>https://celabs.eu/publications/formal-verification-rust/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://celabs.eu/publications/formal-verification-rust/</guid><description/></item><item><title>Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging</title><link>https://celabs.eu/publications/pqxdh-verification/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://celabs.eu/publications/pqxdh-verification/</guid><description/></item><item><title>hax: Verifying Security-Critical Rust Software Using Multiple Provers</title><link>https://celabs.eu/publications/hax-multiple-provers/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://celabs.eu/publications/hax-multiple-provers/</guid><description/></item><item><title>Imprint</title><link>https://celabs.eu/imprint/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://celabs.eu/imprint/</guid><description><h2 id="legal-notice-impressum">Legal Notice (Impressum)</h2> <h3 id="information-provider">Information Provider</h3> <p>CryptoEng UG (haftungsbeschränkt) <br> Weserstr. 44 <br> 10247 Berlin <br> Germany</p> <p><strong>Email:</strong> <a href="mailto:info@cryptoeng.de">info@cryptoeng.de</a> <br> <strong>Register Court:</strong> Amtsgericht Berlin-Charlottenburg <br> <strong>Register Number:</strong> HRB 241948 B <br> <strong>VAT ID:</strong> DE353123425</p> <h3 id="represented-by">Represented by</h3> <p>Dr. Franziskus Kiefer</p></description></item><item><title>KyberSlash: Exploiting secret-dependent division timings in Kyber implementations</title><link>https://celabs.eu/publications/kyberslash/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://celabs.eu/publications/kyberslash/</guid><description/></item><item><title>Public Key Linting for ML-KEM and ML-DSA</title><link>https://celabs.eu/publications/public-key-linting/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://celabs.eu/publications/public-key-linting/</guid><description/></item><item><title>Secure Satellite Software-Defined Payloads With High-Assurance Post-Quantum Cryptography</title><link>https://celabs.eu/publications/satellite-pqc/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://celabs.eu/publications/satellite-pqc/</guid><description/></item><item><title>Secure systems engineering</title><link>https://celabs.eu/services/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://celabs.eu/services/</guid><description><p>CE Labs builds systems where security is a requirement, not an afterthought. We work across the full depth of the stack — from the architecture down to the cryptography it rests on — and bring formal methods to bear where correctness matters most.</p></description></item></channel></rss>