Publications on CE Labshttps://celabs.eu/publications/Recent content in Publications on CE LabsHugoen-usembedded-cal: A Formally Verified Cryptographic Provider for Embedded Platformshttps://celabs.eu/publications/embedded-cal/Mon, 01 Jan 0001 00:00:00 +0000https://celabs.eu/publications/embedded-cal/Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rusthttps://celabs.eu/publications/formal-verification-rust/Mon, 01 Jan 0001 00:00:00 +0000https://celabs.eu/publications/formal-verification-rust/Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaginghttps://celabs.eu/publications/pqxdh-verification/Mon, 01 Jan 0001 00:00:00 +0000https://celabs.eu/publications/pqxdh-verification/hax: Verifying Security-Critical Rust Software Using Multiple Provershttps://celabs.eu/publications/hax-multiple-provers/Mon, 01 Jan 0001 00:00:00 +0000https://celabs.eu/publications/hax-multiple-provers/KyberSlash: Exploiting secret-dependent division timings in Kyber implementationshttps://celabs.eu/publications/kyberslash/Mon, 01 Jan 0001 00:00:00 +0000https://celabs.eu/publications/kyberslash/Public Key Linting for ML-KEM and ML-DSAhttps://celabs.eu/publications/public-key-linting/Mon, 01 Jan 0001 00:00:00 +0000https://celabs.eu/publications/public-key-linting/