Search results for: Shaz Qadeer
2015 IEEE Symposium on Security and Privacy > 833 - 849
International Journal on Software Tools for Technology Transfer > 2012 > 14 > 3 > 291-305
2011 IEEE Symposium on Security and Privacy > 465 - 480
International Journal on Software Tools for Technology Transfer > 2009 > 11 > 2 > 105-116
Theoretical Computer Science > 2005 > 338 > 1-3 > 153-183
Electronic Notes in Theoretical Computer Science > 2005 > 113 > Complete > 163-179
Electronic Notes in Theoretical Computer Science > 2003 > 89 > 3 > 518-539
Formal Methods in System Design > 2003 > 23 > 3 > 303-327