Paritosh Shroff Ph.D. Department of Computer Science Johns Hopkins University office: NEB 219 phone: (410) 516-6067 email:

My research area is Programming Languages and my advisor is Dr. Scott Smith. My focus is on program analysis and language-based computer security.

Dissertation, July 2008.

Publications

• Securing Information Flow via Dynamic Capture of Dependencies, with Scott F. Smith and Mark Thober, in the Special Issue of Journal of Computer Security on CSF 2007, to appear.
• The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification, with Christian Skalka and Scott F. Smith, in APLAS 2007: The Fifth ASIAN Symposium on Programming Languagues and Systems. [Technical Report] [Slides ppt pdf]
• Dynamic Dependency Monitoring to Secure Information Flow, with Scott F. Smith and Mark Thober, in CSF 2007: 20th IEEE Computer Security Foundations Symposium. [Technical Report] [Slides] (Best Paper Award)
• Type Inference for First-Class Messages with Match-Functions, with Scott F. Smith, in FOOL 2004: 11th ACM SIGPLAN International Workshop on Foundations of Object-Oriented Languages. [Slides] [Implementation]

Technical Reports

• Securing Timing Channels at Runtime, with Scott F. Smith, July 2008. [Technical Report]
• Value Range Analysis for Higher-Order Programs, with Christian Skalka and Scott F. Smith, April 2007.
• Near-Concrete Program Interpretation, Doctoral Thesis Proposal, September 2006.
• Near-Concrete Program Interpretation, with Christian Skalka and Scott F. Smith, July 2006.
• Multi-Tasking for TinyOS, under supervision of Dr. Andreas Terzis, June 2006.
• Near-Concrete Program Interpretation, with Christian Skalka and Scott F. Smith, April 2006.
• Program Verification with Flow-Effect Types, with Christian Skalka and Scott F. Smith, October 2005.
• Program Analysis with Flow-Effect Types, with Christian Skalka and Scott F. Smith, July 2005.
• Higher-Order Abstract Interpretation with Flow-Effect Types, with Christian Skalka and Scott F. Smith, April 2005.

Presentations

• Near-Concrete Program Interpretation, Doctoral Thesis Proposal, September 2006.
• Program Verification with Flow-Effect Types, at MAPLS-NJPLS 2005: Mid-Atlantic Programming Language Seminar in Conjunction with NJPLS, November 18, 2005.