Re: Ada for the TLS/SSL problem?

[Paul Rubin <no.email@nospam.invalid>]

Peter Brooks <peter.h.m.brooks@gmail.com> writes:
> Isn't this an opportunity for Ada to really shine? 

Yes, I've been thinking about it for a while.

> - It is a relatively small, well contained problem.

I don't believe this, it is quite complicated.  But it's doable.

> 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?

Yes, I'm not much of an Ada programmer but I'm experienced with crypto
and SSL implementation, and an Ada TLS stack is something I've been
interested in.  I'd want to use Ada 2012 with as much formal
verification as is practical.  It seems to me that the Muen implementers
have been heading in that direction too.

> 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?

If it's funded, count me in, I think I can help.