| |
| 2008 | ||
|---|---|---|
| 3 | EE | Paritosh Shroff, Scott F. Smith, Mark Thober: Securing information flow via dynamic capture of dependencies. Journal of Computer Security 16(5): 637-688 (2008) |
| 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] |
| 3 | Mark Thober | [1] [3] |