| |
In Information and Communications Security, 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, Vol. 4307 (2006), pp. 332-351.
|
| |
In First International Workshop on Run Time Enforcement for Mobile and Distributed Systems (REM 2007) (2007), pp. 1-11.
|
| |
In TLDI '05: Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation (2005), pp. 103-112.
|
| |
In IEEE International Symposium on Secure Software Engineering (2006)
|
| |
In VII Jornadas sobre Programación y Lenguajes (PROLE 2007) (September 2007)
|
| |
In XIII Congreso Argentino de Ciencias de la Computación (CACIC 2007) (October 2007)
|
| |
In 7th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'07) (2007), pp. 27-36.
|
| |
In PPDP '06: Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming (2006), pp. 249-260.
|
| |
In Harman, M., Gallagher, K. (Eds.), Information and Software Technology Special Issue on Program Slicing, Vol. 40 (1999), pp. 595-607.
|
| |
|
| |
|
| |
In CGO '03: Proceedings of the international symposium on Code generation and optimization (2003), pp. 325-336.
|
| |
|
| |
Commun. ACM, Vol. 16, No. 10. (October 1973), pp. 613-615.
|
| |
In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2004), pp. 186-197.
|
| |
In PLAS '06: Proceedings of the 2006 workshop on Programming languages and analysis for security (2006), pp. 65-74.
|
| |
In CSFW '06: Proceedings of the 19th IEEE Workshop on Computer Security Foundations (2006)
|
| |
In PCSFW: Proceedings of The 12th Computer Security Foundations Workshop (1999)
|
| |
In CSFW '05: Proceedings of the 18th IEEE Computer Security Foundations Workshop (CSFW'05) (2005), pp. 255-269.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 15, No. 4. (October 2006), pp. 410-457.
|
| |
In RSP: 19th IEEE Computer Society Symposium on Research in Security and Privacy (1998)
|
| |
In TLDI '05: Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation (2005), pp. 103-112.
|
| |
|
| |
In Proceedings of the 24th IEEE Annual International Computer Software and Applications Conference (October 2000), pp. 486-491.
|
| |
IEEE Journal on Selected Areas in Communications, Vol. 21, No. 1. (January 2003), pp. 5-19.
|
| |
No. MIT/LCS/TR-783. (1999)
|
| |
In Symposium on Principles of Programming Languages (1999), pp. 228-241.
|
| |
|
| |
|
| |
Commun. ACM, Vol. 20, No. 7. (July 1977), pp. 504-513.
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 228-241.
|
| |
Commun. ACM, Vol. 19, No. 5. (May 1976), pp. 236-243.
|
| |
Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE In Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE (2007), pp. 218-232.
|
| |
In WODA '06: Proceedings of the 2006 international workshop on Dynamic systems analysis (2006), pp. 73-80.
|
| |
In SESS '05: Proceedings of the 2005 workshop on Software engineering for secure systems\—building trustworthy applications (2005), pp. 1-7.
|
| |
|
| |
IEEE Trans. Softw. Eng., Vol. 16, No. 9. (September 1990), pp. 965-979.
|
| |
In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation (1999), pp. 204-214.
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (6 October 2007), pp. 489-504.
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 79-90.
|
| |
|
| |
DARPA Information Survivability Conference & Exposition II, 2001. DISCEX '01. Proceedings In DARPA Information Survivability Conference & Exposition II, 2001. DISCEX '01. Proceedings, Vol. 2 (2001), pp. 27-40 vol.2.
|
| |
|
| |
Computer Security – ESORICS 2007 (2007), pp. 267-282.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 7, No. 1. (January 1985), pp. 37-61.
|
| |
In POPL '79: Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1979), pp. 283-290.
|
| |
In MICRO 39: Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture (2006), pp. 135-148.
|
| |
In PLAS '06: Proceedings of the 2006 workshop on Programming languages and analysis for security (2006), pp. 75-84.
|
| |
In PLAS '06: Proceedings of the 2006 workshop on Programming languages and analysis for security (2006), pp. 85-94.
|
| |
ACM Comput. Surv., Vol. 11, No. 3. (September 1979), pp. 227-249.
|
