Re: Ada for the TLS/SSL problem?

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

On Tuesday, 15 March 2016 23:02:11 UTC+2, Paul Rubin  wrote:
> 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.
>
I said 'small' and 'well contained' -- not easy!
> 
> > 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.
>
Excellent - maybe the time for the idea is here.
> 
> > 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.
>
Thank you - I'll see how it goes.