AF-Cyber
Logic-Based Attribution and Forensics in Cyber Security
Objective
The main goal of AF-Cyber is to investigate and analyse the problem of attributing cyber attacks. We plan to construct a logic-based framework for performing attribution of cyber attacks, based on cyber forensics evidence, social science approaches and an intelligent methodology for dynamic evidence collection. AF-Cyber will relieve part of the cyberattacks problem, by supporting forensics investigation and attribution with logical-based frameworks representation, reasoning and supporting tools. AF-Cyber is multi-disciplinary and collaborative, bridging forensics in cyber attacks, theoretical computer science (logics and formal proofs), security, software engineering, and social science.
AF-Cyber is a Marie Curie Individual Fellowship funded by European Union’s H2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 746667.
AF-Cyber started in February 2018 where the main beneficiary is Imperial College London. The Marie Curie Fellow for AF-Cyber is Dr Erisa Karafili.
Dr Erisa Karafili
Dr Karafili is the Marie Curie Fellow for AF-Cyber. She is an expert in applying formal methods solutions for cyber security problems.
Dr Karafili is part of the Resilient Information Systems Security Group, at the Department of Computing, Imperial College London. 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.
This project was supported by the European Union’s H2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 746667.