Research Interests
Collaborations

- Leader of the Foundations of Secure Web Programming group at DOC.
- Associate director of the UK EPSRC Research Institute in Automated Program Analysis and Verification.
- Member of the Security Research group at DOC.
- Affiliate of the Institute for Security Science and Technology at Imperial.
- Member of the Digital Economy Lab at Imperial.
- Associate of the ProSecCo group at INRIA Paris.
PROGRAM COMMITTEES

- ACM Symposium on Applied Computing - Security Track (SEC@SAC) 2015 (PC Chair).
- IEEE Computer Security Foundations Symposium (CSF) 2014.
- ACM Dynamic Languages Symposium (DSL) 2014
- Principles of Security and Trust (POST) 2014, 2015.
- IEEE International Congress on Big Data 2014.
- IEEE International Conference on Big Data (BigData) 2013.
- IEEE Security and Privacy (Oakland) 2010, 2011.
- ACM Programming Languages and Analysis for Security (PLAS) 2010, 2011, 2012 (PC Chair).
- Engineering Secure Software and Systems (ESSoS) 2012, 2013.
- Trustworthy Global Computing (TGC) 2013, 2014.
- Program Protection and Reverse Engineering (PPREW) 2013.
- OWASP AppSec Research 2010.
- Analysis and Programming Languages For Web Applications and Cloud Applications (APLWACA) 2010.
- Expressiveness in Concurrency (Express) 2008, 2010, 2011.