Cyclone
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.
FLAME
Open programmable packet-level network monitoring architecture. Allows customizing monitoring function at lowest possible level of abstraction (fine-grained) to fit widest range of needs. Coded in Cyclone. Description, downloads, documents.
Hybrid Resource Control of Active Extensions
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.
MediaNet
Overlay distribution network, for distributed streaming data services, to meet user-specified Quality of Service (QOS) criteria. Servers coded in Cyclone.
Open Kernel Environment: OKE
Lets users, other than root, load native, fully optimised code into the extensible secure kernel. Coded in Cyclone.
The Open Kernel Environment
Brief, very clear summary of OKE, explains its essence in different way than official website. [Computer Science Daily News] (March 5, 2004)
Cyclone Blows Away the Bugs for Programmers
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] (November 21, 2001)
New Cyclone Programming Language: Bugs be Gone!
Cornell University, AT&T Labs developing language like C but far harder for authors to introduce bugs when programming; data representation, calling conventions interoperable with C styles, which simplifies porting. [Security Administrator] (November 19, 2001)
C with Safety: Cyclone
Forum system with much debate, many interesting and useful posts, some nonsense. Begins debate via New Scientist Cyclone article. [Slashdot] (November 16, 2001)
Cyclone Blows Computer Bugs Out of Code
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] (November 16, 2001)
Results: Previous 1 2 3