Programmi di senier.net/libsparkcrypto

Implementazione formalmente verificata di algoritmi crittografici utilizzando il linguaggio di programmazione SPARK. Per la libreria completa sono disponibili prove dell'assenza di errori di runtime. Alcuni dei suoi sottoprog