embedded-cal: A Formally Verified Cryptographic Provider for Embedded Platforms. Elsa Lopez Perez, William Takeshi Pereira, Thomas Watteyne, Christian Amssus, Franziskus Kiefer and Jonas Schneider-Bensch, Karthikeyan Bhargavan, Mališa Vučinić. International Workshop on Security, Privacy and Trust in the Internet of Things (SPT-IoT), part of IEEE International Conference on Pervasive Computing and Communications (PerCom), Pisa, Italy, 16-20 March 2026.
Associate Teams
The Inria-EVA team is associated with Prof. Glaser's team at UC Berkeley and Prof. Kerkez' team at the University of Michigan through the REALMS associate team.
The Inria-EVA team is associated with Prof. Krishnamachari's team at the University of Southern California through the DIVERSITY associate team.