On the WolfSSL blog I saw the following announcement today:
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: https://github.com/wolfSSL/wolfssl/tree/master/wrapper/Ada
The Ada port is suitable for anything from IoT, embedded systems to Desktop and Cloud systems.
Contact us at facts@wolfssl.com, or call us at +1 425 245 8247 with any questions, comments, or suggestions.
URL to blog post:
https://www.wolfssl.com/announcing-ada-binding-to-the-wolfssl-library/