Logic-based Attribution and Forensics in Cyber Security

Informazioni relative al progetto

AF-Cyber

ID dell’accordo di sovvenzione: 746667

DOI

10.3030/746667

Progetto chiuso

Data della firma CE 3 Maggio 2017

Data di avvio 1 Febbraio 2018

Data di completamento 31 Gennaio 2020

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 183 454,80

Contributo UE

€ 183 454,80

Coordinato da

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Book chapters (4)

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

Autori: Erisa Karafili, Linna Wang, Antonis C. Kakas, Emil Lupu
Pubblicato in: PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings, Numero 11224, 2018, Pagina/e 510-518, ISBN 978-3-030-03097-1
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-03098-8_36

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

Autori: Erisa Karafili, Daniele Sgandurra, Emil Lupu
Pubblicato in: Emerging Technologies for Authorization and Authentication - First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings, Numero 11263, 2018, Pagina/e 73-87, ISBN 978-3-030-04371-1
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-04372-8_7

A Formal Approach to Analyzing Cyber-Forensics Evidence

Autori: Erisa Karafili, Matteo Cristani, Luca Viganò
Pubblicato in: Computer Security - 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I, Numero 11098, 2018, Pagina/e 281-301, ISBN 978-3-319-99072-9
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-99073-6_14

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

Autori: Erisa Karafili, Konstantina Spanaki, Emil C. Lupu
Pubblicato in: Business Information Systems Workshops - BIS 2018 International Workshops, Berlin, Germany, July 18–20, 2018, Revised Papers, Numero 339, 2019, Pagina/e 603-614, ISBN 978-3-030-04848-8
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-04849-5_52

Other (2)

Sharing Agreements and Quality attributes in Data Manufacturing

Autori: Konstantina, Spanaki; Karafili, Erisa; Lupu, Emil
Pubblicato in: EurOMA 2018, abstract, Numero 1, 2018
Editore: No Publisher
DOI: 10.5281/zenodo.3625927

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

Autori: Spanaki, Konstantina; Karafili, Erisa; Despoudi, Stella
Pubblicato in: EurOMA 2019, abstract, Numero 1, 2019
Editore: No Publisher
DOI: 10.5281/zenodo.3625962

Peer reviewed articles (2)

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

Autori: Karafili, Erisa; Wang, Linna; Lupu, Emil
Pubblicato in: Forensic Science International: Digital Investigation, 2020, ISSN 2666-2817
Editore: Elsevier
DOI: 10.5281/zenodo.3625913

Time-Stamped Claim Logic

Autori: João Rasga, Cristina Sernandes, Erisa Karafili, Luca Viganò
Pubblicato in: Logic Journal of IGPL, 2020, ISSN 1367-0751
Editore: Oxford University Press

Conference proceedings (1)

Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning

Autori: Erisa Karafili; Fulvio Valenza; Yichen Chen; Emil Lupu
Pubblicato in: DISSECT Workshop, NOMS 2020-2020 IEEE/IFIP Network Operations and Management Symposium, Numero 1, 2020
Editore: IEEE
DOI: 10.5281/zenodo.3674747