| 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 |
