From: Shark8 <OneWingedShark@gmail.com>
Subject: Re: Ada's ranking of popularity at IEEE Spectrum
Date: Tue, 08 Jul 2014 11:25:00 -0600
Date: 2014-07-08T11:25:00-06:00 [thread overview]
Message-ID: <MPVuv.204778$bA1.197057@fx22.iad> (raw)
In-Reply-To: <3dcb7839-3003-4fcd-afb6-3369f715102b@googlegroups.com>
On 06-Jul-14 13:41, sbelmont700@gmail.com wrote:
> So, unfortunately, Ada will only ever "work right" when you can build
> everything yourself, from scratch, and can justify the cost of doing
> so (basically, safety critical systems).
So then, why aren't we-as-a-community doing that?
Consider the Heartbleed bug, TLS (SSL's successor) really ought to be
written in a formally-verified manner; and we have a superior tool just
for this job: SPARK.
Granted, this means that we have to implement the underlying
technologies as well: X.509 security certificates, which themselves
depend on ASN.1... so, the real question is this: are we going to
address this problem or not?
I've started, but finding that I need X.509 and therefore ASN.1 (and
have *zero* experience with either these or SPARK) has revealed it to be
a little daunting. -- I realize I'm stubborn, opinionated,
tough-to-teach, and generally don't ask for help; but I *do* want to see
Ada put to use, to see its popularity rise, and I think that /this/ is
one area that we-as-a-community generally agree: Ada/SPARK is ideally
suited to security-critical applications.
I'd be more than happy to populate a gethub repo with a set of
skeleton-projects so we can do this; Peter Chapen also pointed me to
some ASN.1 related stuff, so if he gives the go-ahead we can spin off of
that.
next prev parent reply other threads:[~2014-07-08 17:25 UTC|newest]
Thread overview: 53+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-07-06 15:19 Ada's ranking of popularity at IEEE Spectrum Dan'l Miller
2014-07-06 16:25 ` gautier_niouzes
2014-07-06 17:18 ` Dan'l Miller
2014-07-06 18:03 ` Ludovic Brenta
2014-07-06 19:03 ` Dan'l Miller
2014-07-06 19:41 ` Ludovic Brenta
2014-07-07 7:03 ` Tero Koskinen
2014-07-06 22:15 ` Brad Moore
2014-07-07 13:14 ` Peter Chapin
2014-07-07 14:27 ` Dan'l Miller
2014-07-09 15:01 ` Brad Moore
2014-07-10 7:42 ` Maciej Sobczak
2014-07-10 13:56 ` Peter Chapin
2014-07-10 18:18 ` Nasser M. Abbasi
2014-07-10 18:30 ` Nasser M. Abbasi
2014-07-11 4:55 ` theanalogmachine
2014-07-11 11:56 ` G.B.
2014-07-07 8:37 ` Brian Drummond
2014-07-06 19:41 ` sbelmont700
2014-07-08 17:25 ` Shark8 [this message]
2014-07-08 23:03 ` sbelmont700
2014-07-08 23:30 ` Jeffrey Carter
2014-07-09 0:29 ` sbelmont700
2014-07-09 2:30 ` Shark8
2014-07-27 2:01 ` David Thompson
2014-07-27 20:19 ` sbelmont700
2014-07-28 3:53 ` Dan'l Miller
2014-07-07 0:17 ` Simon Clubley
2014-07-07 1:17 ` Nasser M. Abbasi
2014-07-07 6:11 ` Simon Wright
2014-07-07 6:30 ` Georg Bauhaus
2014-07-07 9:04 ` Brian Drummond
2014-07-07 13:33 ` Simon Wright
2014-07-07 16:11 ` Brian Drummond
2014-07-10 19:49 ` Marius Amado-Alves
2014-07-10 20:19 ` Shark8
2014-07-10 21:39 ` björn lundin
2014-07-10 22:54 ` Shark8
2014-07-11 7:26 ` Dmitry A. Kazakov
2014-07-11 7:37 ` Maciej Sobczak
2014-07-11 9:32 ` björn lundin
2014-07-12 21:43 ` Marius Amado-Alves
2014-07-13 8:52 ` björn lundin
2014-07-11 0:16 ` Simon Clubley
2014-07-11 0:40 ` Jeffrey Carter
2014-07-11 1:15 ` Shark8
2014-07-11 7:03 ` Simon Clubley
2014-07-08 20:10 ` gautier_niouzes
2014-07-10 13:30 ` Gerd
2014-07-10 15:14 ` Shark8
2014-07-10 19:16 ` Jeffrey Carter
2014-07-11 2:17 ` Dennis Lee Bieber
2014-07-11 0:39 ` gvdschoot
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox