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, Spanaki K, Lupu E, 2019, Access Control and Quality Attributes of Open Data: Applications and Techniques, Workshop on Quality of Open Data, Springer Verlag (Germany), Pages:603-614, ISSN:1865-1348
et al., Policy support for autonomous swarms of drones, 1st International Workshop on Emerging Technologies for Authorization and Authentication, Springer Verlag, ISSN:0302-9743
Karafili E, Sgandurra D, Lupu E, A logic-based reasoner for discovering authentication vulnerabilities between interconnected accounts, 1st International Workshop on Emerging Technologies for Authorization and Authentication, Springer Verlag, ISSN:0302-9743
et al., 2018, Helping forensic analysts to attribute cyber-attacks: an argumentation-based reasoner, International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018), Springer Verlag, Pages:510-518, ISSN:0302-9743
Karafili E, Cristani M, Viganò L, A Formal Approach to Analyzing Cyber-Forensics Evidence, European Symposium on Research in Computer Security (ESORICS) 2018, Springer Verlag, ISSN:0302-9743