 | 2010 |
| 4 |  | Patrick F. Wilbur,
Todd Deshane:
Johnny can drag and drop: determining user intent through traditional interactions to improve desktop security.
CHIMIT 2010: 4 |
| 2007 |
| 3 |  | Todd Deshane,
Wenjin Hu,
Patty Jablonski,
Hai Lin,
Christopher Lynch,
Ralph Eric McGregor:
Encoding First Order Proofs in SAT.
CADE 2007: 476-491 |
| 2 |  | Jeanna Neefe Matthews,
Wenjin Hu,
Madhujith Hapuarachchi,
Todd Deshane,
Demetrios Dimatos,
Gary Hamilton,
Michael McCabe,
James Owens:
Quantifying the performance isolation properties of virtualization systems.
Experimental Computer Science 2007: 6 |
| 2004 |
| 1 |  | Bryan Clark,
Todd Deshane,
Eli Dow,
Stephen Evanchik,
Matthew Finlayson,
Jason Herne,
Jeanna Neefe Matthews:
Xen and the Art of Repeated Research.
USENIX Annual Technical Conference, FREENIX Track 2004: 135-144 |