The University of Southampton

Dr Erisa Karafili
  • ECS Deputy Academic Integrity Officer
  • Security by Design Champion at of the GCHQ/EPSRC Academic Centre of Excellence for Cyber Security Education (ACE-CSE) Southampton
  • Leader of Teaching Methods Innovation of the GCHQ/EPSRC Academic Centre of Excellence for Cyber Security Education (ACE-CSE) Southampton


Erisa Karafili is a Lecturer (Assistant Professor) in Cybersecurity at the University of Southampton. Previously, she was a Marie Curie Fellow at the Department of Computing, Imperial College London. During her Marie Curie project, called AF-Cyber, Erisa investigated the problem of attributing cyber-attacks and focused on constructing techniques and tools to help forensics analysts during cyber-forensics investigation of cyber-attacks. Previously, she was an RA at Imperial College London and a PostDoc at the Technical University of Denmark. Erisa obtained her PhD from the University of Verona, with a special focus on non-classical logics applied to security problems in multi-agent systems. Her main research areas are Formal Methods applied to Security and Privacy problems, Data Sharing in Cloud Environments, Data Access Control, Threat Models for IoT and Hybrid Systems.


Research interests

  • Formal Methods techniques applied to Security problems
  • Attributing and Investigating Cyber Attacks
  • Threat Models for IoT devices and Hybrid systems
  • Secure Data Sharing/Re-Using
  • Applying Argumentation and Knowledge Representation for Cyber Security


Karafili, Erisa and Lupu, Emil (2017) Enabling data sharing in contextual environments: policy representation and analysis. In SACMAT '17 Abstracts: Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies. The Association for Computing Machinery. 231–238 . (doi:10.1145/3078861.3078876).

Karafili, Erisa, Wang, Linna and Lupu, Emil (2020) An argumentation-based reasoner to assist digital investigation and attribution of cyber-attacks. Forensic Science International: Digital Investigation, 32 (S), [300925]. (doi:10.1016/j.fsidi.2020.300925).

Karafili, Erisa, Cristani, Matteo and Viganò, Luca (2018) A formal approach to analyzing cyber-forensics evidence. Lopez, Javier, Zhou, Jianying and Soriano, Miguel (eds.) In Computer Security: ESORICS 2018. Springer. pp. 281-301 . (doi:10.1007/978-3-319-99073-6_14).

Rasga, João, Sernadas, Cristina, Karafili, Erisa and Viganò, Luca (2020) Time-stamped claim logic. Journal of IGPL, (1367-0751). (doi:10.1093/jigpal/jzaa001).

Karafili, Erisa, Valenza, Fulvio, Chen, Yichen and Lupu, Emil (2020) Towards a framework for automatic firewalls configuration via argumentation reasoning. In 6TH IEEE/IFIP Workshop on Security for Emerging Distributed Network Technologies (DISSECT). 4 pp . (In Press)

Spanaki, Konstantina, Karafili, Erisa, Sivarajah, Uthayasankar, Despoudi, Stella and Irani, Zahir (2020) Artificial intelligence and food security: swarm intelligence of AgriTech drones for smart AgriFood operations. Production Planning and Control. (In Press)

Karafili, Erisa and Valenza, Fulvio (2020) Automatic firewalls’ configuration using argumentation reasoning. Saracino, A. and Mori, P. (eds.) In Third International Workshop on Emerging Technologies for Authorization and Authentication (ETAA 2020 @ESORICS). Springer.. (doi:10.1007/978-3-030-64455-0_8).


Share this profile FacebookTwitterWeibo