| |
In PLAS '07: Proceedings of the 2007 workshop on Programming languages and analysis for security (2007), pp. 53-60.
|
| |
Programming Languages and Systems (2007), pp. 141-156.
|
| |
In CSFW '05: Proceedings of the 18th IEEE workshop on Computer Security Foundations (2005), pp. 226-240.
|
| |
In SESS '05: Proceedings of the 2005 workshop on Software engineering for secure systems\—building trustworthy applications (2005), pp. 1-7.
|
| |
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 228-241.
|
| |
|
| |
In TAPSOFT '97: Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (1997), pp. 607-621.
|
| |
Computer Security – ESORICS 2007 (2007), pp. 267-282.
|
| |
Concurr. Comput. : Pract. Exper., Vol. 16, No. 7. (June 2004), pp. 647-670.
|
| |
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.
|
| |
Computer, Vol. 37, No. 6. (June 2004), pp. 37-46.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 27, No. 5. (September 2002), pp. 98-103.
|
| |
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.
|
| |
In POPL '99. Proceedings of the 26th ACM SIGPLAN-SIGACT on Principles of programming languages, January 20--22, 1999, San Antonio, TX (1999), pp. 147-160.
|
| |
Commun. ACM, Vol. 16, No. 10. (October 1973), pp. 613-615.
|
| |
J. ACM, Vol. 46, No. 5. (September 1999), pp. 749-786.
|
| |
In Conference Record of POPL 98: The 25TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Diego, California (1998), pp. 355-364.
|
| |
In PCSFW: Proceedings of The 11th Computer Security Foundations Workshop (1998)
|
| |
|
| |
In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2004), pp. 186-197.
|
| |
|
| |
In CSFW '01: Proceedings of the 14th IEEE Workshop on Computer Security Foundations (2001)
|
| |
In PLAS '06: Proceedings of the 2006 workshop on Programming languages and analysis for security (2006), pp. 65-74.
|
| |
|
| |
In SP '95: Proceedings of the 1995 IEEE Symposium on Security and Privacy (1995)
|
| |
In SOSP '77: Proceedings of the sixth ACM symposium on Operating systems principles (1977), pp. 133-139.
|
| |
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.
|
| |
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.
|
| |
|
| |
Commun. ACM, Vol. 19, No. 5. (May 1976), pp. 236-243.
|
| |
Commun. ACM, Vol. 20, No. 7. (July 1977), pp. 504-513.
|
| |
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.
|
| |
|
| |
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 15, No. 4. (October 2006), pp. 410-457.
|
