PulseEngine
AI writes the code. Who proves it’s safe?
Verification, traceability, and attestation for safety-critical software. Open source. Built in Rust.
Built by Ralf Anton Beier — 22 years automotive software architecture. 8 patents. Distinguished engineer.
May 11, 2026
Reasoning about attestation chains: from TrustMee to Cerisier
Two academic papers — TrustMee verifies single attestations in Wasm, Cerisier reasons about their composition in a capability machine — and what is still missing to close sigil's PQ-migration trust story. An internal milestone, not a finished result.
May 01, 2026
Cross-language LTO on Cortex-M: three barriers and a wrong prediction
We pushed LLVM cross-language LTO between verified Rust and Zephyr's C kernel. Three barriers nobody documents. Cleared them. Then measured — and the prediction we'd shipped was wrong by a lot. The story of what that taught us, and the framework for picking a regime when the data doesn't dominate.