||Cryptographic library implemented in SPARK
[aarch64] fails to compile: unsupported architecture: aarch64
||There are no other variants.
||Buildsheet | History
||Port Directory | History
||26 NOV 2019, 05:40:10 UTC
||22 APR 2017, 04:32:16 UTC
||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
Distribution File Information
3a743518fbba51c50e03c422534feb44a86091a9d616cd6e3f0d59ae0cf5ffed 8517333 Componolit-libsparkcrypto-5901d2c.tar.gz
Ports that require libsparkcrypto:standard
|No other ports depend on this one.|