Research Interests
Research Interests
My research areas broadly span topics in Computer Systems Security, with use of ideas from compilers, operating systems and formal methods for defending cyber attacks. My recent work has focused on the topics given below.
My complete publication list available here.
- Preventing injection attacks on web based systems. (ACM CCS 2007) Joint work with P.Madhusudan(UIUC).
- Browser Security : Security for Firefox Extensions (DIMVA 2007).
- Runtime approaches for privacy and information flow policies : See the Data Sandboxing (ACSAC'06) and Runtime checking for information flow policy enforcement(published in ICICS'06) papers.
- Integrity Assurance in Operating Systems: (Joint work with R. Sekar).
- Using static analysis and model checking techniques for ensuring complete mediation in authorization systems. (ASIACCS'08). Joint work with A. Prasad Sistla.
- Secure execution of untrusted programs : See the paper (NDSS'05) that describes the Alcatraz tool. Joint work with R. Sekar.
Past Work
|
Research Assistantships
Support in the form of a research assistantship is available for a motivated current/prospective graduate student (preferably Ph.D) to work with me in the computer security area. If you are already a graduate Ph.D student at UIC, or joining our Ph.D program, I would be interested in talking to you. Please send me email with your vita.
Collaborators and Co-authors
