| |
Research in Security and Privacy, 1990. Proceedings., 1990 IEEE Computer Society Symposium on In Research in Security and Privacy, 1990. Proceedings., 1990 IEEE Computer Society Symposium on (1990), pp. 180-187.
|
| |
In SSYM'05: Proceedings of the 14th conference on USENIX Security Symposium (2005), pp. 18-18.
|
| |
Proceedings of the Royal Society B: Biological Sciences, Vol. 275, No. 1653. (22 December 2008), pp. 2831-2839.
|
| |
IEEE Transactions on Software Engineering In Software Engineering, IEEE Transactions on, Vol. SE-7, No. 5. (1981), pp. 510-518.
|
| |
In ICSE '05: Proceedings of the 27th international conference on Software engineering (2005), pp. 412-421.
|
| |
|
| |
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.
|
| |
Rend. Circ. Mat. Palermo (2), Vol. 54, No. 1. (2005), pp. 50-70.
|
| |
In CSFW '05: Proceedings of the 18th IEEE workshop on Computer Security Foundations (2005), pp. 226-240.
|
| |
Software Reliability Engineering, 2004. ISSRE 2004. 15th International Symposium on In Software Reliability Engineering, 2004. ISSRE 2004. 15th International Symposium on (2004), pp. 198-209.
|
| |
Automata, Languages and Programming (2003), pp. 187-188.
|
| |
In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), pp. 169-180.
|
| |
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 SIGIR '06: Proceedings of the 29th annual international ACM SIGIR conference on Research and development in information retrieval (2006), pp. 509-516.
|
| |
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.
|
Search
