My main research interest is on quantitative techniques for security systems, in particular those related to authorisation policies. I have a formal methods background, and I'm quite interested in the process of formalisation, which consists in expressing a concrete problem within a formal model, in order to understand and analyse it. 

• Mallios Y, Bauer L, Kaynar D, Martinelli F, Morisset C. Probabilistic cost enforcement of security policies. Journal of Computer Security 2015, 23(6), 759-787.
• Yevseyeva I, Turland J, Morisset C, Coventry L, Gross T, van Moorsel A. Addressing consumerization of IT risks with nudging. International Journal of Information Systems and Project Management 2015, 3(3), 5-22.
• Mace JC, Morisset C, van Moorsel A. Impact of policy design on workflow resiliency computation time. In: J Campos and B.R Haverkort, ed. Quantitative Evaluation of Systems. Springer International, 2015, pp.244-259.
• Mace JC, Morisset C, van Moorsel A. Modelling user availability in workflow resiliency analysis. In: HotSoS '15 Symposium and Bootcamp on the Science of Security. 2015, Urbana-Champaign, IL, USA: ACM.
• Crampton J, Morisset C, Zannone N. On Missing Attributes in Access Control: Non-deterministic and Probabilistic Attribute Retrieval. In: 20th ACM Symposium on Access Control Models and Technologies (SACMAT '15). 2015, Vienna: ACM.
• Mace JC, Morisset C, van Moorsel A. Resiliency Variance in Workflows with Choice. In: A Fantechi and P Patrizio, ed. Software Engineering for Resilient Systems. Springer International, 2015, pp.128-143.
• Yevseyeva I, Morisset C, Gross T, vanMoorsel A. A Decision Making Model of Influencing Behavior in Information Security. In: 11th European Workshop on Performance Evaluation, EPEW 2014. 2014, Florence, Italy: Springer.
• Morisset C, Yevseyeva I, Gross T, van Moorsel A. A Formal Model for Soft Enforcement: Influencing the Decision-Maker. In: 10th International Workshop on Security and Trust Management. 2014, Wroclaw, Poland: Springer.
• Yevseyeva I, Morisset C, Turland J, Coventry L, Gross T, Laing C, van Moorsel A. Consumerisation of IT: Mitigating risky user actions and improving productivity with nudging. In: CENTERIS 2014: 6th Conference on ENTERprise Information Systems. 2014, Troia, Portugal: Elsevier BV.
• Morisset C, Gross T, vanMoorsel A, Yevseyeva I. Nudging for Quantitative Access Control Systems. In: Second International Conference on Human Aspects of Information Security, Privacy, and Trust.Held as Part of HCI International 2014. 2014, Heraklion, Crete, Greece: Springer.
• Mace JC, Morisset C, van Moorsel A. Quantitative Workflow Resiliency. In: 19th European Symposium on Research in Computer Security. 2014, Wroclaw, Poland: Springer.
• Morisset C, Zannone N. Reduction of access control decisions. In: 19th ACM Symposium on Access Control Models and Technologies. 2014, Shanghai, China: ACM.
• Mace JC, Morisset C, Pierce K, Gamble C, Maple C, Fitzgerald J. A multi-modelling based approach to assessing the security of smart buildings. In: Living in the Internet of Things: Cybersecurity of the IoT. 2018, London, UK: Institution of Engineering and Technology.
• Mansfield M, Morisset C, Gamble C, Mace JC, Pierce K, Fitzgerald J. Design Space Exploration for Secure Building Control. In: 16th Overture Workshop. 2018, Oxford University, UK.
• Morisset C, Willemse TAC, Zannone N. Efficient extended ABAC evaluation. In: Proceedings of the 23rd ACM Symposium on Access Control Models and Technologies (SACMAT'18). 2018, Indianapolis, Indiana, USA: ACM.
• Arnaboldi L, Morisset C. Generating synthetic data for real world detection of DoS attacks in the IoT. In: STAF: Federation of International Conferences on Software Technologies: Applications and Foundations. 2018, Toulouse, France: Springer.
• Carmichael P, Morisset C. Learning Decision Trees from Synthetic Data Models for Human Security Behaviour. In: Software Engineering and Formal Methods (SEFM 2017). 2018, Trento, Italy: Springer Verlag.
• Ebrahimy R, Morisset C, Patsios H, Pourmirza Z. Report on Smart Energy Systems and Cyber Security. Newcastle upon Tyne: School of Computing, Newcastle University, 2018.
• Morisset C, Sanchez D. VisABAC: A Tool for Visualising ABAC Policies. In: ICISSP 2018 - 4th International Conference on Information Systems Security and Privacy. 2018, Funchal, Maderia, Portugal: SciTePress.
• Mace JC, Thekkummal N, Morisset C, VanMoorsel A. ADaCS: A tool for Analysing Data Collection Strategies. In: 14th European Performance Engineering Workshop (EPEW 2017). 2017, Berlin, Germany: Springer.
• Mace JC, Thekkummal N, Morisset C, Van Moorsel A. ADaCS: A Tool for Analysing Data Collection Strategies. In: 14th European Workshop on Performance Engineering (EPEW 2017). 2017, Berlin, Germany: Springer Verlag.
• Yevseyeva I, Morisset C, van Moorsel A. Modeling and analysis of influence power for information security decisions. Performance Evaluation 2016, 98, 36-51.
• Mace JC, Morisset C, van Moorsel A. WRAD: Tool Support for Workflow Resiliency Analysis and Design. In: 8th international workshop on Software Engineering for Resilient Systems (SERENE 2016). 2016, Gothenburg, Sweden: Springer International Publishing.
• Mace JC, Morisset C, Van Moorsel A. Modelling user availability in workflow resiliency analysis. In: Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, HotSoS '15. 2015, Urbana, Illinois, USA: Association for Computing Machinery.
• Yevseyeva I, Morisset C, Gross T, Van Moorsel A. A Decision Making Model of Influencing Behavior in Information Security. In: EPEW 2014: Computer Performance Engineering. 2014, Florence, Italy: Springer, Cham.
• Morisset C, Yevseyeva I, Gross T, van Moorsel A. A Formal Model for Soft Enforcement: Influencing the Decision-Maker. In: 10th International Workshop on Security Trust and Management (STM 2014). 2014, Wroclaw, Poland: Springer.
• Morisset C, Yevseyeva I, Gross T, van Moorsel A. A formal model for soft enforcement: Influencing the decision-maker. In: STM 2014: Security and Trust Management. 2014, Wroclaw, Poland: Springer Verlag.
• Yevseyeva I, Morisset C, Turland J, Coventry L, Gross T, Laing C, van Moorsel A. Consumerisation of IT: Mitigating risky user actions and improving productivity with nudging. In: CENTERIS 2014 / ProjMAN 2014 / HCIST 2014. 2014, Troia, Portugal: Elsevier BV.
• Crampton J, Morisset C. Monotonicity and Completeness in Attribute-Based Access Control. In: 10th International Workshop on Security and Trust Management (STM 2014). 2014, Wroclaw, Poland: Springer.
• Crampton J, Morisset C. Monotonicity and completeness in attribute-based access control. In: 10th International Workshop on Security and Trust Management (STM 2014). 2014, Wroclaw, Poland: Springer Verlag.
• Morisset C, Gross T, van Moorsel A, Yevseyeva I. Nudging for quantitative access control systems. In: Second International Conference on Human Aspects of Information Security, Privacy, and Trust (HAS 2014). 2014, Crete, Greece: Springer.
• Ciancia V, Martinelli F, Ilaria M, Morisset C. Quantitative evaluation of enforcement strategies position paper. In: 6th International Symposium on Foundations and Practice of Security (FPS 2013). 2014, La Rochelle, France: Springer.
• Alsuhibany SA, Morisset C, Van Moorsel A. Detection of attack strategies. In: 2013 International Conference on Risks and Security of Internet and Systems, CRiSIS 2013. 2013, La Rochelle, France: IEEE Computer Society.
• Alsuhibany SA, Alonaizi A, Morisset C, Smith C, van Moorsel A. Experimental investigation in the impact on security of the release order of defensive algorithms. In: CD-ARES: International Conference on Availability, Reliability, and Security - 2013 Workshops. 2013, Regensburg, Germany: Springer.
• Mace JC, Morisset C, Smith L. A Socio-Technical Ethical Process for Managing Access to Smart Building Data. In: Living in the Internet of Things: Realising the socioeconomic benefits of an interconnected world. 2019, London: IET.
• Mace JC, Morisset C, Smith L. A socio-technical ethical process for managing access to smart building data. In: Living in the Internet of Things (IoT 2019). 2019, London: IET.