Cornell University Computing and Information Science

• IAI Home
• About IAI
• Events
• News
• Researchers
• Projects and Programs
• CS Home
• CIS Home

Projects and Programs

Language Based Security:

• Containment and Integrity for Mobile Code (Schneider, Myers)
• Typed Assembly Language (Morrisett)
• Efficient Code Certification (Kozen)
• Jif: Java Information Flow (Myers)
• Fabric (Myers)

Quicksilver, Ricochet, Tempest and Kelips (Birman)

Ensemble (Birman)

Cornell On-Line Certification Authority (Schneider, Zhou, Van Renesse)

NuPrl (Constable)

The ISIS Project (Birman)

Cayuga: Stateful Publish/Subscribe for Event Monitoring (Gehrke)

Hilda: A High-Level Language for Data-Driven Web Applications (Gehrke)

The Horus Project (Birman)

Digital Libraries:

• Policy Enforcement for Complex Digital Objects (Schneider, Payette)
• Policy Specification for Digital Libraries (Halpern, Weissman)

Herbivore, which evolved from CliqueNet (Sirer)

Cornell Single Sign-On (CorSSO) (Sirer, Schneider)

Beehive (Sirer), which was used to build three infrastructure services:

• CoDoNs (Sirer)
• CobWeb (Sirer)
• CorONA (Sirer)

SHARP: Adaptive Hybrid Routing for Wireless Ad Hoc Networks (Sirer)

Karma (Sirer)

Credence (Sirer)

Nexus (Sirer, Schneider)