Experience
Education
Bio
RESEARCH
INTERESTS
q Application of program analysis and transformation techniques for addressing challenges in
security and privacy. Specific areas include:
 Web and browser security
 Information flow confidentialy and integrity
 Safe execution of untrusted programs.