home.social

#embeddedcal — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #embeddedcal, aggregated by home.social.

fetched live
  1. @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.

  2. @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.

  3. 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: <github.com/lake-rs/embedded-ca>

    #EmbeddedCAL #NGI0Commons

  4. 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: <github.com/lake-rs/embedded-ca>

    #EmbeddedCAL #NGI0Commons