Skip to main content

Logic-based Attribution and Forensics in Cyber Security

Publications

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

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

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

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

A Formal Approach to Analyzing Cyber-Forensics Evidence

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

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

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

Sharing Agreements and Quality attributes in Data Manufacturing

Auteurs: Konstantina, Spanaki; Karafili, Erisa; Lupu, Emil
Publié dans: EurOMA 2018, abstract, 1, 2018
Éditeur: No Publisher
DOI: 10.5281/zenodo.3625927

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

Auteurs: Spanaki, Konstantina; Karafili, Erisa; Despoudi, Stella
Publié dans: EurOMA 2019, abstract, 1, 2019
Éditeur: No Publisher
DOI: 10.5281/zenodo.3625962

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

Auteurs: Karafili, Erisa; Wang, Linna; Lupu, Emil
Publié dans: Forensic Science International: Digital Investigation, 2020, ISSN 2666-2817
Éditeur: Elsevier
DOI: 10.5281/zenodo.3625913

Time-Stamped Claim Logic

Auteurs: João Rasga, Cristina Sernandes, Erisa Karafili, Luca Viganò
Publié dans: Logic Journal of IGPL, 2020, ISSN 1367-0751
Éditeur: Oxford University Press

Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning

Auteurs: Erisa Karafili; Fulvio Valenza; Yichen Chen; Emil Lupu
Publié dans: DISSECT Workshop, NOMS 2020-2020 IEEE/IFIP Network Operations and Management Symposium, 1, 2020
Éditeur: IEEE
DOI: 10.5281/zenodo.3674747