diff options
Diffstat (limited to 'security/libsparkcrypto/pkg-descr')
| -rw-r--r-- | security/libsparkcrypto/pkg-descr | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/security/libsparkcrypto/pkg-descr b/security/libsparkcrypto/pkg-descr deleted file mode 100644 index cb64120ca02b..000000000000 --- a/security/libsparkcrypto/pkg-descr +++ /dev/null @@ -1,12 +0,0 @@ -libsparkcrypto is a formally verified implementation of several widely used -symmetric cryptographic algorithms using the SPARK programming language and -toolset. For the complete library proofs of the absence of run-time errors -like type range violations, division by zero and numerical overflows are -available. Some of its subprograms include proofs of partial correctness. - -The distribution contains test cases for all implemented algorithms and a -benchmark to compare its performance with the OpenSSL library. The achieved -speed has been found to be very close to the optimized C and Assembler -implementations of OpenSSL. - -WWW: http://senier.net/libsparkcrypto/ |