DrSergioMaffeis

Faculty of Engineering, Department of Computing

Senior Lecturer

441Huxley BuildingSouth Kensington Campus

Research Interests

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.

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.