|
Research
I'm interested in programming languages, program analysis, and their
applications to problems in security. At the moment, my work focuses on
applying program language techniques to enforce information flow security.
Publications
- William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, and
Aarti Gupta. Program Analysis via Satisfiability Modulo Path
Programs. To appear in the proceedings of Principles of
Programming Languages
2010. (pdf)
- William R. Harris, Nicholas A. Kidd, Sagar Chaki, Somesh Jha,
and Thomas W. Reps. Verifying Information Flow Control over
Unbounded Processes. In the proceedings of Formal Methods
2009. The original publication is available
at www.springerlink.com.
(pdf
| slides)
Pending Submissions
Two papers submitted to conferences with anonymous submission.
Technical Reports
|
