A formally verified implementation of cryptographic algorithms using the SPARK programming language. For the complete library proofs of the absence of run-time errors are available. Some of its subprograms include proofs of partial correctness.

Project Activity

See All Activity >

Categories

Cryptography

License

BSD License

Follow libsparkcrypto

libsparkcrypto Web Site

Other Useful Business Software
Host LLMs in Production With On-Demand GPUs Icon
Host LLMs in Production With On-Demand GPUs

NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of libsparkcrypto!

Additional Project Details

Operating Systems

BSD, Linux, Server Operating Systems

Intended Audience

Developers

Programming Language

Ada

Related Categories

Ada Cryptography Software

Registered

2010-09-13
Report inappropriate content