Related Activities

• The SPYCE project - Stanford, Penn, Yale, Cornell
• SOL (Security-oriented Languages) - Penn
• Agile Management of Dynamic Collaborations - Stanford
• The POSSE Project - Penn
• Work on policy languages, access control and privacy is related to IBM Privacy Project
• The PORTIA project - Stanford, Yale, Stevens, NYU, and Univ. New Mexico
• InnerPresence
• Automated Trust Negotiation
• Cooperative Networked Control of Dynamical Peer-to-Peer Vehicle Systems (APPEARS)
• Computational Logic Tools for Research and Education
• "Incentive-Compatible Designs for Distributed Systems" (NSF NR program)
• "Foundations of Distributed Algorithmic Mechanism Design" (NSF ITR program)
• "GRIDLOCK: A New Scalable Approach to Unifying Computer and Communication Security" (NSF Trusted Computing Program) - Yale, Penn, and Columbia