embedded-cal: A Formally Verified Cryptographic Provider for Embedded Platforms
Authors
- Mališa Vučinić (ORCID: https://orcid.org/0000-0002-7700-9121)
- Jonas Schneider (ORCID: https://orcid.org/0009-0002-7329-2270)
- Franziskus Kiefer (ORCID: https://orcid.org/0009-0003-3632-4613)
- Christian Amsüss (ORCID: https://orcid.org/0000-0001-5168-5861)
- Thomas Watteyne
- Karthikeyan Bhargavan
- Pereira, William, Takeshi
- Elsa Lopez Perez
Institutions
- Institut national de recherche en sciences et technologies du numérique (FR)
- Center on Race, Poverty and the Environment (US)
Publication Details
- Journal
- SPIRE - Sciences Po Institutional REpository
- Published
- 2026-03-16
- Primary Topic
- Cryptographic Implementations and Security
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- European Commission
- Agence Nationale de la Recherche
- HORIZON EUROPE Framework Programme
- Staatssekretariat für Bildung, Forschung und Innovation