notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
non port: security/libsparkcrypto/pkg-descr

Number of commits found: 1

Mon, 1 Jul 2013
[ 16:36 wg search for other commits by this committer ] Original commit   Revision:322131
security/libsparkcrypto: Cryptographic library implemented in SPARK

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.


PR:		ports/180015
Submitted by:	John Marino <>

Number of commits found: 1