Paritosh Shroff

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

Publications

Paritosh Shroff, Scott F. Smith, Mark Thober
Securing information flow via dynamic capture of dependencies. J. Comput. Secur. 16 (5) (2008)
Paritosh Shroff, Scott F. Smith, Mark Thober
Dynamic Dependency Monitoring to Secure Information Flow. CSF (2007)
Paritosh Shroff, Christian Skalka, Scott F. Smith
The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. APLAS (2007)