IsoMod: A Module System for Isolating Untrusted Software Extensions. MITACS Digital Security Seminar Series. Carleton University, Ottawa, Ontario, Canada, March 14, 2006. [Slides]
Capability Type Systems for Secure Cooperation, Department of Computing, The Hong Kong Polytechnic University, June 21, 2005. [Slides]
Viewer Discretion: Language-based Protection Mechanisms for Dynamically Extensible Systems, Department of Computing, The Hong Kong Polytechnic University, June 14, 2005. [Slides]
Open Licensing and Academic Technologies, Centre for Academic Technologies, University of Regina, March 18, 2004. [Slides]
Proof Linking: A Modular Verification Architecture for Mobile Code Systems, Department of Computing Science, University of Alberta, January 15, 2004. [Slides]