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>