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

You Might Also Like
Bright Data - All in One Platform for Proxies and Web Scraping Icon
Bright Data - All in One Platform for Proxies and Web Scraping

Say goodbye to blocks, restrictions, and CAPTCHAs

Bright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
Get Started
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of libsparkcrypto!

Additional Project Details

Operating Systems

Linux, Server Operating Systems, BSD

Intended Audience

Developers

Programming Language

Ada

Related Categories

Ada Cryptography Software

Registered

2010-09-13
Report inappropriate content