Announcing Ada binding to the wolfSSL library

Today we are happy to announce the availability of an Ada/SPARK binding that enables Ada applications to use post-quantum TLS 1.3 encryption through the wolfSSL embedded SSL/TLS library.

It opens the door to obtaining FIPS 140-3 and DO-178C certifications for Ada and Spark applications that use TLS for their encrypted communications and also makes them quantum-safe.

Check out the Ada/SPARK binding on GitHub here:

The Ada port is suitable for anything from IoT, embedded systems to Desktop and Cloud systems.

Contact us at, or call us at +1 425 245 8247 with any questions, comments, or suggestions.