Polaris: virus-safe computing for Windows XP. - Marc Stiegler; Alan H. Karp; Ka-Ping Yee; Tyler Close; Mark S. Miller (Commun. ACM, 2006)

Emily: A High Performance Language for Enabling Secure Cooperation. - Marc Stiegler (C5, 2007)

Not one click for security? - Alan H. Karp; Marc Stiegler; Tyler Close (SOUPS, 2009)

Making policy decisions disappear into the user's workflow. - Alan H. Karp; Marc Stiegler (CHI Extended Abstracts, 2010)