Logic-based Attribution and Forensics in Cyber Security

Información del proyecto

AF-Cyber

Identificador del acuerdo de subvención: 746667

DOI

10.3030/746667

Proyecto cerrado

Fecha de la firma de la CE 3 Mayo 2017

Fecha de inicio 1 Febrero 2018

Fecha de finalización 31 Enero 2020

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total

€ 183 454,80

Aportación de la UE

€ 183 454,80

Coordinado por

IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Book chapters (4)

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

Autores: Erisa Karafili, Linna Wang, Antonis C. Kakas, Emil Lupu
Publicado en: PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings, Edición 11224, 2018, Página(s) 510-518, ISBN 978-3-030-03097-1
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-03098-8_36

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

Autores: Erisa Karafili, Daniele Sgandurra, Emil Lupu
Publicado en: Emerging Technologies for Authorization and Authentication - First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings, Edición 11263, 2018, Página(s) 73-87, ISBN 978-3-030-04371-1
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-04372-8_7

A Formal Approach to Analyzing Cyber-Forensics Evidence

Autores: Erisa Karafili, Matteo Cristani, Luca Viganò
Publicado en: Computer Security - 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I, Edición 11098, 2018, Página(s) 281-301, ISBN 978-3-319-99072-9
Editor: Springer International Publishing
DOI: 10.1007/978-3-319-99073-6_14

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

Autores: Erisa Karafili, Konstantina Spanaki, Emil C. Lupu
Publicado en: Business Information Systems Workshops - BIS 2018 International Workshops, Berlin, Germany, July 18–20, 2018, Revised Papers, Edición 339, 2019, Página(s) 603-614, ISBN 978-3-030-04848-8
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-04849-5_52

Other (2)

Sharing Agreements and Quality attributes in Data Manufacturing

Autores: Konstantina, Spanaki; Karafili, Erisa; Lupu, Emil
Publicado en: EurOMA 2018, abstract, Edición 1, 2018
Editor: No Publisher
DOI: 10.5281/zenodo.3625927

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

Autores: Spanaki, Konstantina; Karafili, Erisa; Despoudi, Stella
Publicado en: EurOMA 2019, abstract, Edición 1, 2019
Editor: No Publisher
DOI: 10.5281/zenodo.3625962

Peer reviewed articles (2)

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

Autores: Karafili, Erisa; Wang, Linna; Lupu, Emil
Publicado en: Forensic Science International: Digital Investigation, 2020, ISSN 2666-2817
Editor: Elsevier
DOI: 10.5281/zenodo.3625913

Time-Stamped Claim Logic

Autores: João Rasga, Cristina Sernandes, Erisa Karafili, Luca Viganò
Publicado en: Logic Journal of IGPL, 2020, ISSN 1367-0751
Editor: Oxford University Press

Conference proceedings (1)

Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning

Autores: Erisa Karafili; Fulvio Valenza; Yichen Chen; Emil Lupu
Publicado en: DISSECT Workshop, NOMS 2020-2020 IEEE/IFIP Network Operations and Management Symposium, Edición 1, 2020
Editor: IEEE
DOI: 10.5281/zenodo.3674747