Programy według senier.net/libsparkcrypto

Formalnie zweryfikowana implementacja algorytmów kryptograficznych przy użyciu języka programowania SPARK. Dla pełnej biblioteki są dostępne dowody braku błędów w czasie wykonywania. Niektóre z jego podprogramów zawierają dow