Show threadchrysnNov 17
@jarkko Cool! This is coming just in time for TPM APIs to get a say in #EmbeddedCAL's APIs. There, we're mostly abstracting between microcontroller APIs and verified software crypto. Bul to paraphrase Erich Kästner: No interface is worth reading for embedded if it isn't also worth reading for bigger computers.
chrysnJul 15, 2025

We're launching the embedded-cal project: Providing access to hardware accelerated and formally proven cryptographic algorithms on #embedded systems in #RustLang. For this, I'm teaming up with @inria Paris and @cryspen, supported by the #EU funded @NGIZero.

Right now we're going through requirements. If you want to add hardware accelerated security to your #IoT project, chime in at our wishlist issue: <https://github.com/lake-rs/embedded-cal/issues/1>

#EmbeddedCAL #NGI0Commons

Initial feature wishlist · Issue #1 · lake-rs/embedded-cal

In this project, we will build an abstraction layer (as a Rust trait or family of traits) that provides the best of formally verified implementations and hardware cryptography to Rust programs. The...

GitHub