Paritosh Shroff

According to our database, Paritosh Shroff authored at least 3 papers between 2007 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Securing information flow via dynamic capture of dependencies.

Paritosh Shroff, Scott F. Smith, Mark Thober

J. Comput. Secur., 2008

2007

Dynamic Dependency Monitoring to Secure Information Flow.

Paritosh Shroff, Scott F. Smith, Mark Thober

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification.

Paritosh Shroff, Christian Skalka, Scott F. Smith

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007