embedded-cal: A Formally Verified Cryptographic Provider for Embedded Platforms

embedded-cal: a formally verified cryptographic provider for embedded platforms. Published at IEEE PerCom Workshops 2026.