The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. - Paritosh Shroff; Christian Skalka; Scott F. Smith 001 (APLAS, 2007)

Dynamic Dependency Monitoring to Secure Information Flow. - Paritosh Shroff; Scott F. Smith 001; Mark Thober (CSF, 2007)

Securing information flow via dynamic capture of dependencies. - Paritosh Shroff; Scott F. Smith 001; Mark Thober (J. Comput. Secur., 2008)