The University of Southampton
Telephone:
+442380597695
Email:
e.karafili@soton.ac.uk

Dr Erisa Karafili 

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

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

Publications

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, 32S. (In Press)

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)

Contact

Share this profile FacebookTwitterWeibo