| 2008 | ||
|---|---|---|
| 3 | 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 | Paritosh Shroff, Christian Skalka, Scott F. Smith: The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. APLAS 2007: 2-18 | |
| 1 | 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] |