| |
| 2007 | ||
|---|---|---|
| 2 | EE | Paritosh Shroff, Christian Skalka, Scott F. Smith: The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. APLAS 2007: 2-18 |
| 1 | EE | Paritosh Shroff, Scott F. Smith, Mark Thober: Dynamic Dependency Monitoring to Secure Information Flow. CSF 2007: 203-217 |
| 1 | Christian Skalka | [2] |
| 2 | Scott F. Smith | [1] [2] |
| 3 | Mark Thober | [1] |