index.xml

<?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>Wed, 24 Jun 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>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>&lt;p&gt;Today we&amp;rsquo;re launching CE Labs, focused on high-assurance security engineering, spun off from &lt;a href="https://cryspen.com" target="_blank" rel="noopener noreferrer"&gt;Cryspen&lt;/a&gt;
. The new independence lets both teams pursue their missions with greater agility: Cryspen continues its work on verification products and the &lt;a href="https://cryspen.com/spectrum" target="_blank" rel="noopener noreferrer"&gt;Spectrum EIC Grant initiative&lt;/a&gt;
, while we concentrate on designing and building systems that are secure from the cryptography up. This is just the start — we&amp;rsquo;ve got exciting projects underway and plenty to share, so expect more from us here soon.&lt;/p&gt;</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>&lt;p&gt;We&amp;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 &lt;a href="https://github.com/cryspen/libcrux-iot/" target="_blank" rel="noopener noreferrer"&gt;Github repository&lt;/a&gt;
.&lt;/p&gt;</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>&lt;p&gt;We extend the &lt;a href="https://github.com/cryspen/libcrux" target="_blank" rel="noopener noreferrer"&gt;libcrux&lt;/a&gt;
 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.&lt;/p&gt;</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>&lt;p&gt;We are a specialized European team of cryptography engineers partnering with organizations building software where the cost of failure is absolute.&lt;/p&gt;
&lt;p&gt;Most teams stop at code reviews and pentesting.
We go further.
Our engineers don&amp;rsquo;t just look for bugs; we explicitly define what &amp;ldquo;secure&amp;rdquo; means for your architecture and show that your system achieves it.
We replace human guesswork with empirical evidence.&lt;/p&gt;</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>&lt;div id="join-widget"&gt;
 &lt;script
 defer
 type="text/javascript"
 data-mount-in="#join-widget"
 src="https://join.com/api/widget/bundle/eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJzZXR0aW5ncyI6eyJzaG93Q2F0ZWdvcnlGaWx0ZXIiOnRydWUsInNob3dMb2NhdGlvbkZpbHRlciI6dHJ1ZSwic2hvd0VtcGxveW1lbnRUeXBlRmlsdGVyIjp0cnVlLCJsYW5ndWFnZSI6ImVuIiwiam9ic1BlclBhZ2UiOjI1fSwiam9icyI6e30sImRlc2lnbiI6eyJzaG93TG9nbyI6dHJ1ZSwic2hvd0xvY2F0aW9uIjp0cnVlLCJzaG93RW1wbG95bWVudFR5cGUiOnRydWUsInNob3dDYXRlZ29yeSI6dHJ1ZSwiY29sb3JzIjp7IndpZGdldCI6eyJiYWNrZ3JvdW5kIjoiI0ZGRkZGRiIsImZpbHRlckJvcmRlciI6IiNENEQ0RDgiLCJwYWdpbmF0aW9uIjoiIzI1NjNFQiJ9LCJqb2JDYXJkIjp7InNoYWRvdyI6IiNENEQ0RDgiLCJiYWNrZ3JvdW5kIjoiI0ZGRkZGRiIsInByaW1hcnlUZXh0IjoiIzNGM0Y0NiIsInNlY29uZGFyeVRleHQiOiIjNTI1MjVCIn19fSwidmVyc2lvbiI6MiwiY29tcGFueVB1YmxpY0lkIjoiYzk1MzI4MmU5ODkyY2Y1NjBiYWI1NGU1MDc3MTM2OTYiLCJpYXQiOjE3ODMwNzEwOTcsImp0aSI6IjJkYmU3MmFiLWNkODItNDljMy1iNzQ4LTE2YTE3YWM4OTYwOSJ9.hPzI1uxLSSEJm7TxW6nnuWlv3CZRGUv9PQbG3Upj2Ag"
 &gt;&lt;/script&gt;
&lt;/div&gt;</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>&lt;p&gt;The best engagements start with a concrete problem.
Whether you&amp;rsquo;re designing a new system, hardening an existing one, building on advanced cryptography, or planning a
post-quantum migration, we&amp;rsquo;re happy to talk through scope and what assurance is realistic.&lt;/p&gt;</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>&lt;h2 id="legal-notice-impressum"&gt;Legal Notice (Impressum)&lt;/h2&gt;
&lt;h3 id="information-provider"&gt;Information Provider&lt;/h3&gt;
&lt;p&gt;CryptoEng UG (haftungsbeschränkt) &lt;br&gt;
Weserstr. 44 &lt;br&gt;
10247 Berlin &lt;br&gt;
Germany&lt;/p&gt;
&lt;p&gt;&lt;strong&gt;Email:&lt;/strong&gt; &lt;a href="mailto:info@cryptoeng.de"&gt;info@cryptoeng.de&lt;/a&gt;
 &lt;br&gt;
&lt;strong&gt;Register Court:&lt;/strong&gt; Amtsgericht Berlin-Charlottenburg &lt;br&gt;
&lt;strong&gt;Register Number:&lt;/strong&gt; HRB 241948 B &lt;br&gt;
&lt;strong&gt;VAT ID:&lt;/strong&gt; DE353123425&lt;/p&gt;
&lt;h3 id="represented-by"&gt;Represented by&lt;/h3&gt;
&lt;p&gt;Dr. Franziskus Kiefer&lt;/p&gt;</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 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>&lt;p&gt;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.&lt;/p&gt;</description></item></channel></rss>