[9811] in cryptography@c2.net mail archive
Secure C? An intresting area
daemon@ATHENA.MIT.EDU (Jason)
Wed Nov 14 11:29:12 2001
Message-ID: <000c01c16cfc$4e994330$230213ac@CNCK40J>
From: "Jason" <Jason.Gruber@btinternet.com>
To: "Accu-General" <accu-general@accu.org>
Date: Wed, 14 Nov 2001 11:05:43 -0000
MIME-Version: 1.0
Content-Type: text/plain;
charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
http://www.research.att.com/areas/security/
Cyclone
Cyclone is a programing language for secure systems programming. The
language is closely based on C (it uses the same grammar and base types),
however, it eliminates certain unsafe features (unsafe casts and arbitrary
pointer dereferences). By removing these features, we can guarantee that
Cyclone programs will not have buffer overflows or other memory corruptions
that can result in security breaches or crashes. Thus, programs written in
Cyclone should be inherently more secure than their equivalent C programs.
We have implemented a compiler for Cyclone in written in Cyclone. For more
information about Cyclone, contact http://www.research.att.com/~trevor/.
---------------------------------------------------------------------
The Cryptography Mailing List
Unsubscribe by sending "unsubscribe cryptography" to majordomo@wasabisystems.com
