Back to Philip Fong's home page.
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.
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.
Philip W. L. Fong and Robert D. Cameron. Proof linking: Modular verification of mobile programs in the presence of lazy, dynamic linking. ACM Transactions on Software Engineering and Methodology, 9(4):379-409, October 2000. [postscript] [pdf]
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 and Simon Orr. A Module System for Isolating Untrusted Software Extensions. In Proceedings of the 22nd Annual Computer Security Applications Conference (ACSAC'06), pages 203-212, Miami Beach, Florida, USA, December 11-15, 2006.
Philip W. L. Fong. Discretionary Capability Confinement. In Proceedings of the 11th European Symposium On Research In Computer Security (ESORICS'06), volume 4189 of Lecture Notes in Computer Science, pages 127-144, Hamburg, Germany, September 18-20, 2006. Springer.
Philip W. L. Fong. Link-Time Enforcement of Confined Types for JVM Bytecode. In Proceedings of the Third Annual Conference on Privacy, Security and Trust (PST'05), pages 191-202, St. Andrews, New Brunswick, Canada, October 12-14, 2005.
Philip W. L. Fong. Pluggable verification modules: An extensible protection mechanism for the JVM. In Proceedings of the 19th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'04), pages 404-418, Vancouver, BC, Canada, October 24-28, 2004. [postscript] [pdf]
Philip W. L. Fong. Access control by tracking shallow execution history. In Proceedings of the 2004 IEEE Symposium on Security and Privacy (S&P'04), pages 43-55, Berkeley, California, USA, May 9-12, 2004. [postscript] [pdf]
Philip W. L. Fong and Robert D. Cameron. Proof linking: Distributed verification of Java classfiles in the presence of multiple classloaders. In Proceedings of the USENIX Java Virtual Machine Research and Technology Symposium (JVM'01), pages 53-66, Monterey, California, USA, April 23-24, 2001. [postscript] [pdf]
Philip W. L. Fong and Robert D. Cameron. Proof linking: An architecture for modular verification of dynamically-linked mobile code. In Proceedings of the Sixth ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE'98), pages 222-230, Orlando, Florida, USA, November 3-5, 1998. [postscript] [pdf]
Premkumar T. Devanbu, Philip W. L. Fong, and Stuart G. Stubblebine. Techniques for trusted software engineering. In Proceedings of the 20th International Conference on Software Engineering (ICSE'98), pages 126-135, Kyoto, Japan, April 19-25, 1998. [postscript] [pdf]
Philip W. L. Fong. A Quantitative Study of Hypothesis Selection. In Twelfth International Conference on Machine Learning (ICML-95), pages 226-234, Tachoe City, California, USA, July 9-12, 1995. [postscript]
Philip W. L. Fong. Link-Time Enforcement of Confined Types for JVM Bytecode. Technical Report CS-2004-12, Department of Computer Science, University of Regina, Regina, Saskatchewan, Canada. ISBN 0-7731-0505-0. December 2004. [postscript] [pdf]
Philip W. L. Fong. Capabilities as Alias Control: Secure Cooperation in Dynamically Extensible Systems. Technical Report CS-2004-3, Department of Computer Science, University of Regina, Regina, Saskatchewan, Canada. ISBN 0-7731-0479-8. [postscript] [pdf]
Philip W. L. Fong and Robert D. Cameron. Java Proof Linking with Multiple Classloaders. Technical Report SFU CMPT TR 2000-04. [postscript] [pdf]
Philip W. L. Fong. Proof Linking: Modular Verification Architecture for Mobile Code Systems. PhD Dissertation, School of Computing Science, Simon Fraser University, Burnaby, BC, Canada V5A 1S6, January 2004. [postscript] [pdf]
Philip W. L. Fong. A Quantitative Study of Hypothesis Selection. Master thesis, Department of Computer Science, University of Waterloo, Ontario, Canada, 1995.