I have moved to the University of Calgary. Your browser will be redirected to my new page in 5 seconds, or you can following this link directly.
| Position: | Associate Professor |
|---|---|
| Affiliation: | Department of Computer Science, University of Regina, Regina, Saskatchewan, Canada S4S 0A2 |
| Office: | CW 308.10 |
| Phone: | (306) 585-5228 |
| Fax: | (306) 585-4745 |
| Email: | pwlfong@cs.uregina.ca |
| Homepage: | http://www.cs.uregina.ca/~pwlfong |
Fei Yan and Philip W. L. Fong. Efficient IRM Enforcement of History-Based Access Control Policies. To appear in Proceedings of the Fourth ACM Symposium on Information, Computer and Communication Security (ASIACCS'09), Sydney, Australia, March 10-12, 2009.
A longer version of the paper appears as Technical Report CS-2008-03.
Boting Yang and Philip W. L. Fong. Two NP-Complete Problems in Software Security. In Proceedings of the International Conference on Relations, Orders and Graphs: Interaction with Computer Science (ROGICS'08), Mahdia, Tunisia, May 12-17, 2008.
Philip W. L. Fong. Discretionary Capability Confinement. International Journal of Information Security, 7(2):137-154, April 2008. Springer. A preliminary draft of this paper appeared as Technical Report CS-2006-03, ISBN 0-7731-0568-9, July 2006.
Philip W. L. Fong. Reasoning about Safety Properties in a JVM-like Environment. Science of Computer Programming, 67(2-3):278-300, July 2007. Elsevier.
Ph.D., 2004, Computer Science, Simon Fraser University, Burnaby, B.C., Canada.
M.Math., 1995, Computer Science, University of Waterloo, Waterloo, Ontario, Canada.
B.Math. (Honours Coop), 1993, Double Honours in Computer Science and Combinatorics & Optimization, University of Waterloo, Waterloo, Ontario, Canada.
For more information, consult my Curriculum Vitae.
My research interests include language-based software security and software engineering. I enjoy building tools and systems that possess provable formal properties. I am also facinated by the success of the open source software development model.
PI. Strategic Project Grant. NSERC, 2008-2010. With H. Hamilton and X. D. Yang.
PI. Discovery Accelerator Supplements. NSERC, 2007-2011. [Announcements: 1st Round; 2nd Round]
PI. Discovery Grant. NSERC, 2007-2012. [Announcements: by University; by GSC]
PI. Discovery Grant. NSERC, 2004-2007. [Announcements: by University; by GSC]
Program Committee. The 24th Annual Computer Security Applications Conference (ACSAC'08), Anaheim, California, USA, December 8--12, 2008.
Program Committee. The Sixth Annual Conference on Privacy, Security and Trust (PST'08), Delta Fredericton, Fredericton, New Brunswick, Canada, October 1-3, 2008.
Program Committee. The Third IEEE International Workshop on Security, Trust, and Privacy For Software Applications (STPSA'08), in conjunction with COMPSAC'08, Turku, Finland, July 28 - August 1, 2008.
Discretionary Capability Confinement. iCORE Information Security Laboratory, Department of Computer Science, University of Calgary, Calgary, Alberta, Canada, April 25, 2008.
Xiao Hai Guo (MSc, in progress)
Pan Liu (MSc, in progress)
Hongya Sun (MSc, in progress)
Cheng Xu (MSc, in progress)
Zhen Zhao (MSc, in progress)
Fei Yan (MSc, thesis defended Dec 10, 2008). Thesis: Efficient IRM Enforcement of History-Based Access Control Policies.
Huan Long Zhang (MSc, project defended Dec 9, 2008). Project: Enforcing Communication Integrity in Dynamically Extensible Systems.
James Ranson (MSc, thesis defended Nov 24, 2008, cosupervised with Howard Hamilton). Thesis: A Semantics of Python in Isabelle/HOL.
Simon Orr (MSc, 2007). Thesis: A Module System for Isolating Untrusted Software Extensions.
CS215: Web Oriented Programming (Winter 2008)
CS115: Object-Oriented Design (Winter 2008)
CS350: Programming Language Concepts (Fall 2007)
CS410: Introduction to Compiler Design (Winter 2007)
CS834: Software Security (Winter 2007)
CS350: Programming Language Concepts (Fall 2006)
CS890DI: Programming Language Topics (Fall 2006)
CS490CM: Topics in Compiler Design (Spring/Summer 2006)
CS890DI: Programming Language Topics (Spring/Summer 2006)
CS350: Programming Language Concepts (Winter 2006)
CS350: Programming Language Concepts (Fall 2005)
CS170: Fundamentals of Computer Science I (Fall 2005)
CS834: Software Security (Winter 2005)
CS372: Software Engineering Methodology (Fall 2004)
CS499/900: Honours/Graduate Seminars (Spring/Summer 2004)
CS170: Fundamentals of Computer Science I (Winter 2004)
$Id: index.html,v 1.136 2009/01/08 17:32:53 pwlfong Exp $