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

Elsa Lpez Prez, William Takeshi Pereira, Thomas Watteyne, Christian Amsss, Franziskus Kiefer, Jonas Schneider-Bensch, Karthikeyan Bhargavan, Malisa Vucinic

Browse the full PERCOM paper archive.