| 2008 |
|---|
| 5 | EE | Stephen Magill,
Ming-Hsien Tsai,
Peter Lee,
Yih-Kuen Tsay:
THOR: A Tool for Reasoning about Shape and Arithmetic.
CAV 2008: 428-432 |
| 2007 |
|---|
| 4 | EE | Stephen Magill,
Josh Berdine,
Edmund M. Clarke,
Byron Cook:
Arithmetic Strengthening for Shape Analysis.
SAS 2007: 419-436 |
| 2004 |
|---|
| 3 | EE | Kevin Donnelly,
Tyler Gibson,
Neel Krishnaswami,
Stephen Magill,
Sungwoo Park:
The Inverse Method for the Logic of Bunched Implications.
LPAR 2004: 466-480 |
| 2002 |
|---|
| 2 | | Stephen Magill,
Bradley Skaggs,
Mauricio Papa,
John Hale:
Implementation and Verification of Programmable Security.
DBSec 2002: 285-299 |
| 2000 |
|---|
| 1 | | Mauricio Papa,
Oliver Bremer,
Stephen Magill,
John Hale,
Sujeet Shenoi:
Simulation and Analysis of Cryptographic Protocols.
DBSec 2000: 89-100 |
