|
Research Interests
- Programming Languages
- Security
- Usability
- Formal Verification
I maintain a long-standing interest in the magic of programming languages and underlying technologies. In the last few years, I have been focused on applications of techniques from that area to security problems, specifically mobile code safety and brokering access in collaborative, distributed systems.
Background
Prior to joining DoCoMo USA Labs, I was a graduate student at Stanford University working with John Mitchell on problems related to mobile code security and verifiable access control for distributed systems. At DoCoMo Labs, I wear the hats of a research program manager and a senior researcher; our group works on research challenges involved in creating and securing next generation mobile applications.
Professional Activities
Publications
The research project that has most recently reached the stage of public dissemination is our work on securing clients against Javascript-based attacks, typically hosted through browsers. This work will be presented at POPL in January 2007.
Publications representing my research work during my time at DoCoMo thus far, as well as some of my prior work, can be found off my personal page.
|
|
