2009 | ||
---|---|---|
13 | EE | Fei Yan, Philip W. L. Fong: Efficient IRM enforcement of history-based access control policies. ASIACCS 2009: 35-46 |
2008 | ||
12 | EE | Philip W. L. Fong: Discretionary capability confinement. Int. J. Inf. Sec. 7(2): 137-154 (2008) |
2007 | ||
11 | EE | Philip W. L. Fong: Reasoning about safety properties in a JVM-like environment. Sci. Comput. Program. 67(2-3): 278-300 (2007) |
2006 | ||
10 | EE | Philip W. L. Fong, Simon A. Orr: A Module System for Isolating Untrusted Software Extensions. ACSAC 2006: 203-212 |
9 | EE | Philip W. L. Fong: Discretionary Capability Confinement. ESORICS 2006: 127-144 |
2005 | ||
8 | EE | Philip W. L. Fong: Link-Time Enforcement of Confined Types for JVM Bytecode. PST 2005 |
2004 | ||
7 | EE | Philip W. L. Fong: Access Control By Tracking Shallow Execution History. IEEE Symposium on Security and Privacy 2004: 43-55 |
6 | EE | Philip W. L. Fong: Pluggable verification modules: an extensible protection mechanism for the JVM. OOPSLA 2004: 404-418 |
2001 | ||
5 | EE | Philip W. L. Fong, Robert D. Cameron: Proof Linking: Distributed Verification of Java Classfiles in the Presence of Multiple Classloaders. Java Virtual Machine Research and Technology Symposium 2001: 53-66 |
2000 | ||
4 | EE | Philip W. L. Fong, Robert D. Cameron: Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking. ACM Trans. Softw. Eng. Methodol. 9(4): 379-409 (2000) |
1998 | ||
3 | Premkumar T. Devanbu, Philip W. L. Fong, Stuart G. Stubblebine: Techniques for Trusted Software Engineering. ICSE 1998: 126-135 | |
2 | EE | Philip W. L. Fong, Robert D. Cameron: Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code. SIGSOFT FSE 1998: 222-230 |
1995 | ||
1 | Philip W. L. Fong: A Quantitative Study of Hypothesis Selection. ICML 1995: 226-234 |
1 | Robert D. Cameron | [2] [4] [5] |
2 | Premkumar T. Devanbu | [3] |
3 | Simon A. Orr | [10] |
4 | Stuart G. Stubblebine | [3] |
5 | Fei Yan | [13] |