| Port variant | standard |
| Summary | Cryptographic library implemented in SPARK |
| BROKEN | [aarch64] fails to compile: unsupported architecture: aarch64 |
| 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 | 24 SEP 2023, 18:20:04 UTC |
| Port created | 22 APR 2017, 04:32:16 UTC |
| 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. |
| Build (only) |
gmake:primary:standard gprbuild:primary:standard |
| main | mirror://GITHUB/Componolit:libsparkcrypto:5901d2c |
| No other ports depend on this one. |