Cryptography in SPARK: building the foundation with constant-time bigints. FOSDEM 2025
Автор: Ada Maximized
Загружено: 2026-02-10
Просмотров: 50
Описание:
Constant-time big integer libraries are specialized tools designed to execute operations in a time that does not vary with the input values, thereby preventing side-channel attacks like timing attacks. They are foundational in cryptography, where maintaining consistent operation timing and memory access is crucial to ensuring secure key management and protecting sensitive data from exploitation.
In this talk, I will present my partially formally verified implementation of a “bigint” library in SPARK. I will show how it is implemented and how to use it. I will also share my experience writing this library as a newcomer to the Ada/SPARK ecosystem.
César Sagaert, Fabien Chouteau
https://github.com/AldanTanneo/bigints
Patreon: / ada_re
Discord: https://tiny.cc/imhw001
Matrix: http://tiny.cc/l23y001
Telegram: https://t.me/ada_lang
#adalang #ada #FOSDEM
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![[FOSDEM 2026] Stronger interoperability through HTML and better tooling](https://imager.clipsaver.ru/mQF1FLmO3e0/max.jpg)
![[FOSDEM 2026] Создание студенческой вики в Карловом университете (MFF)](https://imager.clipsaver.ru/z6mgGbnO65k/max.jpg)
