libsparkcrypto
Port variant std
Summary Cryptographic library implemented in SPARK
Package version 0.1.1_5
Homepage https://github.com/Componolit/libsparkcrypto
Keywords security, ada
Maintainer John Marino
License BSD3CLAUSE
Other variants There are no other variants.
Ravenports Buildsheet | History
Ravensource Port Directory | History
Last modified 09 AUG 2024, 21:24:17 UTC
Port created 23 APR 2017, 04:32:16 UTC
Subpackage Descriptions
single 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.
Configuration Switches (platform-specific settings discarded)
This port has no build options.
Package Dependencies by Type
Build (only) gmake:primary:std
gprbuild:primary:std
Download groups
main mirror://GITHUB/Componolit:libsparkcrypto:5901d2c
Distribution File Information
3a743518fbba51c50e03c422534feb44a86091a9d616cd6e3f0d59ae0cf5ffed 8517333 Componolit-libsparkcrypto-5901d2c.tar.gz
Ports that require libsparkcrypto:std
No other ports depend on this one.