Logic-based Attribution and Forensics in Cyber Security

Projektinformationen

AF-Cyber

ID Finanzhilfevereinbarung: 746667

DOI

10.3030/746667

Projekt abgeschlossen

EK-Unterschriftsdatum 3 Mai 2017

Startdatum 1 Februar 2018

Enddatum 31 Januar 2020

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 183 454,80

EU-Beitrag

€ 183 454,80

Koordiniert durch

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Book chapters (4)

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

Autoren: Erisa Karafili, Linna Wang, Antonis C. Kakas, Emil Lupu
Veröffentlicht in: PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings, Ausgabe 11224, 2018, Seite(n) 510-518, ISBN 978-3-030-03097-1
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-03098-8_36

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

Autoren: Erisa Karafili, Daniele Sgandurra, Emil Lupu
Veröffentlicht in: Emerging Technologies for Authorization and Authentication - First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings, Ausgabe 11263, 2018, Seite(n) 73-87, ISBN 978-3-030-04371-1
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-04372-8_7

A Formal Approach to Analyzing Cyber-Forensics Evidence

Autoren: Erisa Karafili, Matteo Cristani, Luca Viganò
Veröffentlicht in: Computer Security - 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I, Ausgabe 11098, 2018, Seite(n) 281-301, ISBN 978-3-319-99072-9
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-99073-6_14

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

Autoren: Erisa Karafili, Konstantina Spanaki, Emil C. Lupu
Veröffentlicht in: Business Information Systems Workshops - BIS 2018 International Workshops, Berlin, Germany, July 18–20, 2018, Revised Papers, Ausgabe 339, 2019, Seite(n) 603-614, ISBN 978-3-030-04848-8
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-04849-5_52

Other (2)

Sharing Agreements and Quality attributes in Data Manufacturing

Autoren: Konstantina, Spanaki; Karafili, Erisa; Lupu, Emil
Veröffentlicht in: EurOMA 2018, abstract, Ausgabe 1, 2018
Herausgeber: No Publisher
DOI: 10.5281/zenodo.3625927

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

Autoren: Spanaki, Konstantina; Karafili, Erisa; Despoudi, Stella
Veröffentlicht in: EurOMA 2019, abstract, Ausgabe 1, 2019
Herausgeber: No Publisher
DOI: 10.5281/zenodo.3625962

Peer reviewed articles (2)

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

Autoren: Karafili, Erisa; Wang, Linna; Lupu, Emil
Veröffentlicht in: Forensic Science International: Digital Investigation, 2020, ISSN 2666-2817
Herausgeber: Elsevier
DOI: 10.5281/zenodo.3625913

Time-Stamped Claim Logic

Autoren: João Rasga, Cristina Sernandes, Erisa Karafili, Luca Viganò
Veröffentlicht in: Logic Journal of IGPL, 2020, ISSN 1367-0751
Herausgeber: Oxford University Press

Conference proceedings (1)

Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning

Autoren: Erisa Karafili; Fulvio Valenza; Yichen Chen; Emil Lupu
Veröffentlicht in: DISSECT Workshop, NOMS 2020-2020 IEEE/IFIP Network Operations and Management Symposium, Ausgabe 1, 2020
Herausgeber: IEEE
DOI: 10.5281/zenodo.3674747