Program menurut senier.net/libsparkcrypto

Implementasi algoritma kriptografi yang diverifikasi secara resmi menggunakan bahasa pemrograman SPARK. Untuk bukti pustaka lengkap tentang tidak adanya kesalahan run-time yang tersedia. Beberapa subprogramnya termasuk bukti