| |
ACM Trans. Program. Lang. Syst., Vol. 13, No. 4. (October 1991), pp. 451-490.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 13, No. 2. (April 1991), pp. 181-210.
|
| |
In Workshop on Software Security Assurance Tools, Techniques, and Metrics
|
| |
In SOSP '01: Proceedings of the eighteenth ACM symposium on Operating systems principles, Vol. 35, No. 5. (December 2001), pp. 57-72.
|
| |
Software Engineering Conference, 2001. Proceedings. 2001 Australian (2001), pp. 68-75.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 27, No. 6. (November 2002), pp. 51-60.
|
| |
SIGPLAN Not., Vol. 37, No. 5. (May 2002), pp. 234-245.
|
| |
Software, IEEE, Vol. 19, No. 1. (2002), pp. 42-51.
|
| |
Security '01 (2001), pp. 201-218.
|
| |
In PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2001), pp. 54-61.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 31, No. 1. (January 2006), pp. 13-19.
|
| |
Software: Practice and Experience, Vol. 30, No. 7. (2 May 2000), pp. 775-802.
|
| |
Security '01 (2001), pp. 177-190.
|
| |
Security and Privacy, 2002. Proceedings. 2002 IEEE Symposium on (2002), pp. 143-159.
|
| |
Trans. on Embedded Computing Sys., Vol. 4, No. 1. (February 2005), pp. 73-111.
|
| |
In PLDI '95: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, Vol. 30, No. 6. (June 1995), pp. 67-78.
|
| |
|
| |
In Network and Distributed System Security Symposium (February 2000), pp. 3-17.
|
| |
Security & Privacy Magazine, IEEE, Vol. 4, No. 1. (2006), pp. 74-76.
|
| |
Security & Privacy Magazine, IEEE, Vol. 2, No. 6. (2004), pp. 76-79.
|
Search
