Logic-based Attribution and Forensics in Cyber Security

Project Information

AF-Cyber

Grant agreement ID: 746667

DOI 10.3030/746667

Project closed

EC signature date 3 May 2017

Start date 1 February 2018

End date 31 January 2020

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost € 183 454,80

EU contribution € 183 454,80

Coordinated by

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Book chapters (4)

Helping Forensic Analysts to Attribute Cyber-Attacks: An Argumentation-Based Reasoner

Author(s): Erisa Karafili, Linna Wang, Antonis C. Kakas, Emil Lupu
Published in: PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings, Issue 11224, 2018, Page(s) 510-518, ISBN 978-3-030-03097-1
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-03098-8_36

A Logic-Based Reasoner for Discovering Authentication Vulnerabilities Between Interconnected Accounts

Author(s): Erisa Karafili, Daniele Sgandurra, Emil Lupu
Published in: Emerging Technologies for Authorization and Authentication - First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings, Issue 11263, 2018, Page(s) 73-87, ISBN 978-3-030-04371-1
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-04372-8_7

A Formal Approach to Analyzing Cyber-Forensics Evidence

Author(s): Erisa Karafili, Matteo Cristani, Luca Viganò
Published in: Computer Security - 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I, Issue 11098, 2018, Page(s) 281-301, ISBN 978-3-319-99072-9
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-99073-6_14

Access Control and Quality Attributes of Open Data: Applications and Techniques

Author(s): Erisa Karafili, Konstantina Spanaki, Emil C. Lupu
Published in: Business Information Systems Workshops - BIS 2018 International Workshops, Berlin, Germany, July 18–20, 2018, Revised Papers, Issue 339, 2019, Page(s) 603-614, ISBN 978-3-030-04848-8
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-04849-5_52

Other (2)

Sharing Agreements and Quality attributes in Data Manufacturing

Author(s): Konstantina, Spanaki; Karafili, Erisa; Lupu, Emil
Published in: EurOMA 2018, abstract, Issue 1, 2018
Publisher: No Publisher
DOI: 10.5281/zenodo.3625927

Data Sharing in Agriculture 4.0: Applications of AI for Access Control Decisions

Author(s): Spanaki, Konstantina; Karafili, Erisa; Despoudi, Stella
Published in: EurOMA 2019, abstract, Issue 1, 2019
Publisher: No Publisher
DOI: 10.5281/zenodo.3625962

Peer reviewed articles (2)

An Argumentation-Based Reasoner to Assist Digital Investigation and Attribution of Cyber-Attacks

Author(s): Karafili, Erisa; Wang, Linna; Lupu, Emil
Published in: Forensic Science International: Digital Investigation, 2020, ISSN 2666-2817
Publisher: Elsevier
DOI: 10.5281/zenodo.3625913

Time-Stamped Claim Logic

Author(s): João Rasga, Cristina Sernandes, Erisa Karafili, Luca Viganò
Published in: Logic Journal of IGPL, 2020, ISSN 1367-0751
Publisher: Oxford University Press

Conference proceedings (1)

Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning

Author(s): Erisa Karafili; Fulvio Valenza; Yichen Chen; Emil Lupu
Published in: DISSECT Workshop, NOMS 2020-2020 IEEE/IFIP Network Operations and Management Symposium, Issue 1, 2020
Publisher: IEEE
DOI: 10.5281/zenodo.3674747