Toutes les news taguées avec ce sujet.
Rust, Lean et des agents IA permettent de prouver formellement la sûreté des implémentations cryptographiques, notamment post-quantique.
Une bibliothèque Lean 4 formalise les protocoles et théorèmes fondamentaux de la théorie de l'information quantique.