Meetings

Fall 2008

This meeting was held December 8 and 9 at the University of Pennsylvania. Discussions revolved around practical applications of the theoretical developments already achieved for manifest security.

Main presentations:

Summer 2008

This meeting was held June 28 and 29 at Carnegie Mellon. The topics of discussion included refining the threat model for web browsers; updates on ongoing work; and technical issues surrounding proof carrying access control, information flow, and computational models for web scripting.

Main presentations:

Winter 2008

The principle investigators held an informal meeting at POPL'08 conference.

Fall 2007

We held our kick-off meeting on November 1 and 2 at the University of Pennsylvania. Activities included the following.