Presentations

• R. Ta-Min, L. Litty, D. Lie. Securing Sensitive Data - Protecting Sensitive Data Using Virtual Machine Isolation. October 2005 CASCON Cybersecurity Workshop (poster and demo), October 2005.
• A. Gurfinkel, K. Ku, S. Nejati, O. Wei, M. Chechik. Software Model- Checking with Yasm. October 2005 CASCON Cybersecurity Workshop (poster and demo), October 2005.
• Paul Van Oorschot (Carleton U), Internet Security 2015, CASCON 2005 Workshop on Cybersecurity, Richmond Hill, Ontario, October 17, 2005.
• A. Gurfinkel. Software Model-Checking: A Tutorial. 1-hour presentation at the Toronto Model-Checking Day, July 2005.
• K. Ku. Verifying Secure SSH. Presentation at the Toronto Model-Checking Day, July 2005.
• Tao Wan (Carleton U), Securing Internet Inter-Domain Routing, MITACS NCE Annual Theme Meeting on Communication, Networks and Security (CNS), May 13, 2005, University of Calgary.
• Glenn Wurster (Carleton U) Software Tamper Resistance: Defeating Self-Checksumming, MITACS NCE Annual Theme Meeting on Communication, Networks and Security (CNS), May 13, 2005, University of Calgary.
• L. Litty. Hypervisor-based Intrusion Detection, MITACS NCE Annual Theme Meeting on Communication, Networks and Security (CNS), MITACS Conference Poster, May 2005, University of Calgary.
• Ashraf Matrawy (Carleton U) Mitigation of Network Denial of Service through Diversity-based Traffic Management, MITACS NCE Annual Theme Meeting on Communication, Networks and Security (CNS), May 13, 2005, University of Calgary.
• David Lie (U of Toronto), Reducing the Trusted Computing Base, MITACS NCE Annual Theme Meeting on Communication, Networks and Security (CNS), May 13, 2005, University of Calgary.
• David Lie. Reducing the TCB: XOM and Current Projects. May 3, 2005, invited talk (Digital Seminar Series), Carleton University.