From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Ada for the TLS/SSL problem?
Date: Tue, 15 Mar 2016 14:02:09 -0700
Organization: A noiseless patient Spider
Message-ID: <87a8lzcv5a.fsf@jester.gateway.pace.com>
References: <5011d79c-aaad-464e-a68e-c31a2738a820@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="6f8cc70e6892455e89d230a40ec2704b";
	logging-data="5197"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/7iqm68SdCDccVEk94oJiX"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)
Cancel-Lock: sha1:0ijEyuT9XBy5oEmU2kCMb1ro9sg=
	sha1:dNG1DmjSWr+zpdOWMhDyv3pX9NA=
Xref: news.eternal-september.org comp.lang.ada:29789
Date: 2016-03-15T14:02:09-07:00
List-Id: <comp.lang.ada>

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.