C dialect, based partly on Popcorn, type-safe, polymorphic, gives C control over data representation and memory management, but prevents buffer overflows, dangling pointers, and format string attacks. Description, documents, download.
Combines dynamic and static checking; an extension of Click modular router, customized for active networking in Janos active network OS. Coded in Cyclone. Downloads: paper in PDF, Postscript gzip; slides in PDF, PowerPoint.
Overlay distribution network, for distributed streaming data services, to meet user-specified Quality of Service (QOS) criteria. Servers coded in Cyclone.
New computer language designed to avoid programming errors may prevent many security breaches, according to US computer scientists behind project, teams at Cornell University, AT&T Labs New York. [New Scientist]
Cyclone is similar to the C language, but far more bug resistant because it forces code to be checked thoroughly before authors can finish programs, via its special compiler which rewrites code or suggest fixes. [silicon.com]
Cornell University, AT&T Labs develop C variant far harder for authors to make bugs in when programming; data representation, calling conventions interoperable with C styles, which simplifies porting. [Security Administrator]