Ada for the TLS/SSL problem?

[Peter Brooks <peter.h.m.brooks@gmail.com>]

There are still many problems turning up with TSL authentication. It's no particular surprise as even OpenSSL has been using C for this code.

Isn't this an opportunity for Ada to really shine? 

It's a really important problem - having secure, reliable communication to web servers is something most of the sane world needs urgently.

It plays to all Ada's strengths:

- It must be cross platform
- It is embedded code, no need for any GUI design
- It requires clear, open source, elegant code, that is not vulnerable to things like the buffer overrun that caused the heartbleed problem (beloved of Microsoft)
- It is a relatively small, well contained problem.

Are there any Ada programmers who'd be willing to take part in defining the requirements for the project, and, then, ideally, producing the code?

I've been thinking that it might make sense, when the project is properly defined, to apply for seed capital to fund the design, development, testing, and marketing. If that succeeded, then, with everybody funded for their time, it stands a better chance of being complete in good time.

Any thoughts?