His research interests includes systems security, in particular for the andriod platform, and web security in the context of javaScript. His research on security for programming languages centers around information flow control techniques, that control where secret infromation is allowed to be used. He also collaborates with IBM Research to investigate secure multicore programming.