| |
Static Analysis (2006), pp. 425-442.
|
| |
In 2nd International Workshop on Foundations and Techniques for Open Source Software Certification (2008), pp. 1-9.
|
| |
In CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification (2002), pp. 137-150.
|
| |
|
| |
In CC '02: Proceedings of the 11th International Conference on Compiler Construction (2002), pp. 159-178.
|
| |
Reverse Engineering, 12th Working Conference on In Reverse Engineering, 12th Working Conference on (2005), pp. 10 pp.-12.
|
| |
Journal of Systems and Software, Vol. 68, No. 1. (15 October 2003), pp. 45-64.
|
| |
Integrated Formal Methods (2005), pp. 20-32.
|
| |
In PASTE '04: Proceedings of the 5th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2004), pp. 35-35.
|
| |
|
| |
Int. J. of Req. Eng. (2001)
|
| |
Programming Languages and Systems (2005), pp. 212-229.
|
| |
In SSYM'03: Proceedings of the 12th conference on USENIX Security Symposium (2003), pp. 9-9.
|
| |
No. UCB/EECS-2007-23. (2007)
|
| |
SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 89-100.
|
| |
In CCS '06: Proceedings of the 13th ACM conference on Computer and communications security (2006), pp. 322-335.
|
| |
Formal Methods and Software Engineering (2004), pp. 224-238.
|
| |
Journal of the ACM, Vol. 50, No. 5. (01 September 2003), pp. 752-794.
|
| |
Commun. ACM, Vol. 19, No. 7. (July 1976), pp. 385-394.
|
| |
In ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis (2007), pp. 1-4.
|
| |
Compiler Construction (2008), pp. 16-35.
|
| |
Computer Aided Verification (2007), pp. 68-81.
|
| |
In ACSAC '06: Proceedings of the 22nd Annual Computer Security Applications Conference on Annual Computer Security Applications Conference (2006), pp. 269-278.
|
| |
Electr. Notes Theor. Comput. Sci., Vol. 89, No. 3. (2003)
|
| |
SIGOPS Oper. Syst. Rev., Vol. 36, No. SI. (2002), pp. 75-88.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 29, No. 6. (November 2004), pp. 23-32.
|
| |
In Proceedings of Third Annual Workshop on Economics and Information Security (2004)
|
| |
In Symposium on Principles of Programming Languages (2004), pp. 111-122.
|
| |
|
| |
Security and Privacy, 2008. SP 2008. IEEE Symposium on In Security and Privacy, 2008. SP 2008. IEEE Symposium on (2008), pp. 143-157.
|
| |
SIGPLAN Not., Vol. 43, No. 6. (2008), pp. 270-280.
|
| |
In PLAS '08: Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security (2008), pp. 79-88.
|
| |
|
| |
In SSYM'01: Proceedings of the 10th conference on USENIX Security Symposium (2001), pp. 14-14.
|
| |
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 13, No. 4. (October 1991), pp. 451-490.
|
| |
Embedded Technology (2008)
|
| |
|
| |
SIGPLAN Not., Vol. 31, No. 5. (May 1996), pp. 44-53.
|
| |
Softw. Pract. Exper., Vol. 33, No. 5. (April 2003), pp. 423-460.
|
| |
|
| |
|
| |
Higher Order Symbol. Comput., Vol. 19, No. 1. (March 2006), pp. 31-100.
|
| |
In POPL '78: Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1978), pp. 84-96.
|
| |
Science of Computer Programming In Special Issue on the Static Analysis Symposium 2003 - SAS'03, Vol. 58, No. 1-2. (October 2005), pp. 28-56.
|
| |
In PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, Vol. 35, No. 5. (May 2000), pp. 219-232.
|
| |
SIGPLAN Not., Vol. 38, No. 5. (May 2003), pp. 103-114.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 28, No. 5. (September 2003), pp. 317-326.
|
| |
In SSYM'04: Proceedings of the 13th conference on USENIX Security Symposium (2004), pp. 9-9.
|
Search
