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 [EMAIL PROTECTED]
