University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Shamal Faily

Personal photo - Shamal Faily
Dr Shamal Faily
Research Assistant

Interests

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.

Biography

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.

Links

CAIRIS: Computer Aided Integration of Requirements and Information Security

Roles

View all

TRUST 2013 , Publicity Co-Chair, Programme Committee (Socio-Economic Track)

CHI 2013 , Reviewer

Behaviour & Information Technology, Reviewer

Selected Publications

View all

Manage publications

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.

To Appear

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.

To Appear

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.

To Appear

Info

Themes

Activities

Projects