[11137] in cryptography@c2.net mail archive
Re: It's Time to Abandon Insecure Languages
daemon@ATHENA.MIT.EDU (techt)
Fri Jul 19 13:31:51 2002
Date: Fri, 19 Jul 2002 08:01:51 -0400
From: techt <techt@pikeonline.net>
To: cryptography@wasabisystems.com
In-Reply-To: <Pine.GSO.3.96.1020718134115.23207E-100000@crypto>
On Thu, 18 Jul 2002 13:55:07 -0700 (PDT)
"Jay D. Dyson" <jdyson@treachery.net> wrote:
> Let us not forget Ada. My wife's been coding in it for years now
> and, while I haven't played with the language apart from poring through
> her code on occasion, the language strikes me as remarkably more secure
> than C/C++.
In those situations where safety is a *must*, there is a high reliability subset of Ada called Spark. <http://www.sparkada.com/> I haven't actually used it in any projects myself, but I did buy the book to get an idea of what it was capable of. <http://www.amazon.com/exec/obidos/ASIN/0201175177>
ObCryptography: Markus Kuhn has implemented Serpent in Ada95 as a reference. <http://www.cl.cam.ac.uk/~mgk25/>
--
techt <techt@pikeonline.net>
"[Mass] media is often stenography for the powerful" -- Norman Solomon
------------------------------------------------------
[This E-mail scanned for viruses by Pike Online, Inc.]
---------------------------------------------------------------------
The Cryptography Mailing List
Unsubscribe by sending "unsubscribe cryptography" to majordomo@wasabisystems.com
