Programmes par senier.net/libsparkcrypto

Mise en œuvre formellement vérifiée d’algorithmes cryptographiques utilisant le langage de programmation SPARK. Pour la bibliothèque complète, des preuves de l’absence d’erreurs de temps d’exécuteur sont disponibles. Certains