Dr Shamal Faily
My research examines how the design of secure and usable software systems can be better supported with design techniques and tools.
My doctoral research led to the design of the IRIS (Integrating Requirements and Information Security) design framework, and accompanying open-source CAIRIS (Computer Aided Integration of Requirements and Information Security) software tool. As part of the EUSTACE project, I am currently exploring how usability models (such as personas) can be formalised and used as a basis for model-checking a software system's usability. I am also looking at how IRIS design models might be used to drive a model-driven architectural risk analysis.
I am also interested in understanding how entrepreneurship and innovation theories can be used to inform the design of security.
I am a post-doctoral researcher at the Department of Computer Science, and a teaching fellow at the Information Security Group at University College London. I completed my DPhil in Computer Science here at Oxford in 2011. Prior to my doctoral research, I was a software engineer within Logica's Space business.
TRUST 2013 , Publicity Co-Chair, Programme Committee (Socio-Economic Track)
CHI 2013 , Reviewer
Behaviour & Information Technology, Reviewer
Developing secure‚ unified multi−device and multi−domain platforms: A case study from the webinos project
Andrea Atzeni‚ John Lyle and Shamal Faily
In Architectures and Protocols for Secure Information Technology. IGI Global. 2013.
Guidelines for Integrating Personas into Software Engineering Tools
Shamal Faily and John Lyle
In Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems. 2013.
Formal Evaluation of Persona Trustworthiness with EUSTACE (Extended Abstract)
Shamal Faily‚ David Power‚ Philip Armstrong and Ivan Flechais
In Trust and Trustworthy Computing‚ 6th International Conference‚ TRUST 2013. 2013.