| |
|
| |
Computer Security - ESORICS 2000 (2000), pp. 17-36.
|
| |
|
| |
Computer Security -- ESORICS 2005 In Computer Security -- ESORICS 2005, Vol. 3679 (2005), pp. 418-437.
|
| |
In 22nd ACM Symposium on Operating Systems Principles (SOSP) (2009)
by Gerwin Klein, Kevin Elphinstone, Gernot Heiser, et al.June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
|
| |
IEEE Software In Software, IEEE, Vol. 1, No. 2. (April 1984), pp. 5-16.
|
| |
In 1st IEEE Computer Security Foundations Workshop (CSFW '88) (1988), pp. 98-111.
|
| |
In Twenty Five Years of Constructive Type Theory (1998)
|
| |
In 7th International Software Quality Week (1994)
|
| |
|
| |
|
| |
|
| |
Communications of the ACM, Vol. 18, No. 8. (August 1975), pp. 453-457.
|
| |
|
| |
|
| |
Computación y Sistemas, Vol. 12, No. 1. (2008), pp. 89-108.
|
| |
Certification and Security in Inter-Organizational E-Service In Certification and Security in Inter-Organizational E-Service, Vol. 177 (2005), pp. 33-54.
|
| |
|
| |
6th IEEE Computer Security Foundations Workshop (CSFW '93) In 6th IEEE Computer Security Foundations Workshop (CSFW '93) (1993), pp. 131-136.
|
| |
In FMSE '08: Proceedings of the 6th ACM workshop on Formal methods in security engineering (2008), pp. 43-52.
|
| |
No. TR-08-03. (10 March 2008)
|
| |
Notices of the American Mathematical Society, Vol. 55, No. 11. (December 2008), pp. 1408-1414.
|
| |
Notices of the American Mathematical Society, Vol. 55, No. 11. (December 2008), pp. 1382-1393.
|
| |
Notices of the American Mathematical Society, Vol. 55, No. 11. (December 2008), pp. 1370-1380.
|
| |
Notices of the American Mathematical Society, Vol. 55, No. 11. (December 2008), pp. 1395-1406.
|
| |
In PLAS '08: Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security (2008), pp. 45-56.
|
| |
Software Engineering Conference, 2003. Tenth Asia-Pacific In Software Engineering Conference, 2003. Tenth Asia-Pacific (2003), pp. 415-424.
|
| |
|
| |
Information Assurance in Computer Networks In Information Assurance in Computer Networks, Vol. 2052 (2001), pp. 28-38.
|
| |
|
| |
|
| |
IEEE Transactions on Software Engineering, Vol. 16, No. 9. (1990), pp. 932-948.
|
| |
Communications of the ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
|
| |
|
| |
Designs, Codes and Cryptography, Vol. 7, No. 1-2. (1996), pp. 27-59.
|
| |
In Advances in Cryptology -- EUROCRYPT'94, Vol. 950 (1995), pp. 320-331.
|
| |
In Computer Security -- ESORICS 2006, Vol. 4189 (2006), pp. 225-242.
|
| |
In Advances in Cryptology -- ASIACRYPT'94, Vol. 917 (1995), pp. 133-150.
|
| |
|
| |
ACM Computer Surveys, Vol. 13, No. 3. (1981), pp. 247-278.
|
| |
IEEE Transactions on Software Engineering, Vol. 26, No. 8. (August 2000), pp. 675-686.
|
| |
Information Processing Letters, Vol. 34, No. 1. (1990), pp. 27-29.
|
| |
Communications of the ACM, Vol. 51, No. 9. (September 2008), pp. 54-59.
|
| |
Computer Standards & Interfaces, Vol. 27, No. 5. (2005), pp. 457-466.
|
| |
Journal of Computer Security, Vol. 1, No. 2. (1992), pp. 159-188.
|
| |
|
| |
Journal of Automated Reasoning, Vol. 36, No. 1. (January 2006), pp. 39-83.
|
| |
|
CiteULike
michaelbanks's CiteULike
Search
Export
