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
Save up to 90% off rates for USPS, UPS, DHL Express, and more with the best multi-carrier shipping software for e-commerce businesses. Icon
Save up to 90% off rates for USPS, UPS, DHL Express, and more with the best multi-carrier shipping software for e-commerce businesses.

For Small / Medium E-Commerce Businesses

Whether you're established or just getting started, Shippo is the best shipping software for growing e-commerce brands that need to save time and money, fulfill and ship at scale, and delight customers. Create shipping labels for all carriers & save money with discounted rates. See all your online sales channels in one place and automatically access discounted USPS and DHL Express rates, or use your own carrier accounts. Sign up is free and there are no monthly fees or cancellation fees.
Learn More
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