Search results for: Andrew C. Myers
Lecture Notes in Computer Science > Software Security - Theories and Systems > Part 2: Verification of Security Properties > 174-191
IFIP — The International Federation for Information Processing > Formal Aspects in Security and Trust > 27-40
Lecture Notes in Computer Science > Compiler Construction > Java > 138-152
2012 IEEE Symposium on Security and Privacy > 191 - 205
International Journal of Information Security > 2007 > 6 > 2-3 > 67-84
Higher-Order and Symbolic Computation > 2002 > 15 > 2-3 > 209-234