En 2025, nous avons proposé un processeur FHE virtuel, nom de code MadPanthera, manipulant des chiffrés d’entiers de 8 bits, avec des résultats dépassant l’actuel état de l’art.
Lire la suite
HQC, un des schémas de cryptographie postquantique récemment standardisés par le NIST, présente des temps d’exécution relativement élevés sur les microcontrôleurs des systèmes embarqués.
Lire la suite
Fuzzing, exécution symbolique et interprétation abstraite, entre autres techniques, permettent de découvrir des bugs dans nos programmes à un rythme sans précédent. Mais une question se pose alors : que faire de tous ces bugs ?
Lire la suite
L’intégration récente dans Frama-C de techniques génériques d’analyse incrémentale permet de vérifier rapidement un code après des modifications localisées.
Lire la suite