| |
|
| |
In Proceedings of the 11th {USENIX} Security Symposium (2002), pp. 171-190.
|
| |
In Proceedings of the 4th {USENIX} Conference on File and Storage Technologies (FAST'05) (2005), pp. 155-167.
|
| |
IEEE Trans. Softw. Eng., Vol. 12, No. 1. (1986), pp. 157-171.
|
| |
In Proceedings of the 11th ACM Conference on Computer and Communications Security (CCS) (October 2004)
|
| |
In Proceedings of the 2005 Annual Computer Security Applications Conference (ACSAC) (December 2005)
|
| |
In Static Analysis Symposium (SAS 2004) (2004), pp. 2-18.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 30, No. 5. (2005), pp. 31-40.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 13, No. 4. (2004), pp. 359-430.
|
| |
In Proceedings of the 6th Symposium on Operating Systems Design and Implementation ({OSDI} 2004) (December 2004)
|
| |
In Proceedings of the 11th {ACM} SIGOPS European Workshop ({EW} 2004) (September 2004)
|
| |
In Proceedings of the 11th Annual Symposium on Network and Distributed System Security ({NDSS} 2004) (February 2004)
|
| |
In Proceedings of the 11th Annual Symposium on Network and Distributed System Security ({NDSS} 2004) (February 2004)
|
| |
In Proceedings of the 9th {ACM} Conference on Computer and Communications Security ({CCS} 2002) (November 2002)
|
| |
In Proceedings of the 9th {ACM} Conference on Computer and Communications Security ({CCS} 2002) (November 2002)
|
| |
In Proceedings of the 10th {ACM} SIGOPS European Workshop ({EW} 2002) (September 2002)
|
| |
No. UCB/CSD-02-1197. (2002)
|
| |
In Proceedings of the 29th Annual Symposium on Principles of Programming Languages({POPL} 2002) (2002)
|
| |
In Proceedings of the 10th {USENIX} Security Symposium (August 2001)
|
| |
In Proceedings of the 10th {USENIX} Security Symposium (August 2001)
|
| |
ACM Transactions on Information and System Security, Vol. 3, No. 4. (November 2000), pp. 262-294.
|
| |
In Proceedings of the 7th {USENIX} Security Symposium (1998)
|
| |
In Proceedings of the 11th {USENIX} Security Symposium (August 2002)
|
| |
In Proceedings of the 12th {USENIX} Security Symposium (August 2003)
|
| |
In Proceedings of the 11th {USENIX} Security Symposium (August 2002)
|
| |
In Proceedings of the 11th {USENIX} Security Symposium (August 2002)
|
| |
In 2002 Ottawa Linux Symposium (June 2002)
|
| |
In Proceedings of the 5th Symposium on Operating Systems Design and Implementation ({OSDI} 2002) (December 2002)
|
| |
In Proceedings of the 9th {USENIX} Security Symposium (August 2000)
|
| |
Journal of Computer Security, Vol. 6, No. 3. (1998), pp. 151-180.
|
| |
IEEE Computer Magazine, Vol. 37, No. 6. (June 2004), pp. 62-67.
|
| |
|
| |
In Proceedings of the 9th {USENIX} Security Symposium (August 2000)
|
| |
In Proceedings of the 11th {USENIX} Security Symposium (August 2002)
|
| |
|
| |
In Proceedings fo the 9th International Linux System Technology Conference (September 2002)
|
| |
In Proceedings of the 2003 ACM CCS Workshop on Rapid Malcode (October 2003)
|
| |
|
| |
|
| |
In Proceedings of the 20th {NIST}-{NCSC} National Information Systems Security Conference (1997), pp. 353-365.
|
| |
|
| |
IEEE Transactions on Software Engineering, Vol. 13, No. 2. (February 1987)
|
| |
In Proceedings of the 13th {USENIX} Security Symposium (August 2004)
|
| |
In Proceedings of the 12th {USENIX} Security Symposium (August 2003)
|
| |
In Proceedings of the 12th {USENIX} Security Symposium (August 2003)
|
| |
In Proceedings of the 9th {USENIX} Security Symposium (August 2000), pp. 157-170.
|
| |
In Proceedings of the 2000 Linux Showcase and Conference (October 2000)
|
| |
|
| |
|
| |
|
Search
