Imperial College London


Faculty of EngineeringDepartment of Computing

Marie Curie Individual Fellow



e.karafili Website




502Huxley BuildingSouth Kensington Campus





Erisa Karafili is a Marie Curie Fellow at the Resilient Information Systems Security research group (RISS group), Department of Computing.

Her main research focus is solving different security problems with the use of formal methods together with techniques from artificial intelligence, knowledge representation, network security and social science.

Some of the problems Erisa Karafili is currently working are: attribution of cyber attacks, secure data sharing, access and usage control in cloud and data rich environments, autonomous systems decision making, automated configurations of distributed firewalls, ensuring data quality, formalizing malicious agents behaviors, representing and preventing vulnerabilities for virtualized systems and IoT devices.

Her main research interests are:

  • Formal Methods
  • Cyber Security
  • Security & Privacy
  • Forensics in Cyber Attacks
  • Non-monotonic Reasoning
  • Multi-Agent Systems
  • Knowledge Representation
  • Static Analysis
  • Data Sharing, Access and Usage Control



Karafili E, Cristani M, ViganĂ² L, A Formal Approach to Analyzing Cyber-Forensics Evidence


Arunkumar S, Pipes S, Makaya C, et al., Next Generation Firewalls for Dynamic Coalitions, DAIS Workshop, IEEE SmartWorld Congress

Arunkumar S, Pipes S, Makaya C, et al., Next generation firewalls for dynamic coalitions, DAIS Workshop, 2017 IEEE SmartWorld Congress, IEEE

Felmlee D, Lupu E, McMillan C, et al., Decision-making in policy governed human-autonomous systems teams, DAIS Workshop, 2017 IEEE SmartWorld Congress, IEEE

Karafili E, Lupu E, Arunkumar S, et al., Argumentation-based policy analysis for drone systems, Dais Workshop, 2017 IEEE SmartWorld Congress, IEEE

More Publications