AF-Cyber Publications
Publications for AF-Cyber
Publications for AF-Cyber
- Erisa Karafili, Linna Wang, Emil Lupu “Helping Forensic Analysts to Attribute Cyber-Attacks: An Argumentation-Based Reasoner” in (DFRWS EU), 2020.
- Jõao Rasga, Cristina Sernadas, Erisa Karafili, Luca Viganò “Time-Stamped Claim Logic” to appear in the Logic Journal of IGPL, 2020.
- Erisa Karafili, Linna Wang, Antonis Kakas, Emil Lupu “Helping Forensic Analysts to Attribute Cyber-Attacks: An Argumentation-Based Reasoner” in International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), 510-518, 2018.
- Erisa Karafili, Matteo Cristani, Luca Viganò “A Formal Approach to Analyzing Cyber-Forensics Evidence” in European Symposium on Research in Computer Security (ESORICS), 281-301, 2018.
- Erisa Karafili, Daniele Sgandurra, Emil Lupu “A Logic-Based Reasoner for Discovering Authentication Vulnerabilities between Interconnected Accounts” in Workshop on Emerging Technologies for Authorization and Authentication (ETAA), 73-87, 2018.
- Erisa Karafili, Konstantina Spanaki, Emil C. Lupu “Access Control and Quality Attributes of Open Data: Applications and Techniques” Workshop on Quality of Open Data (QOD), 603-614, 2018.
Accepted Papers (without proceedings)
Accepted Papers (without proceedings)
- Erisa Karafili, Linna Wang, Antonis Kakas, Emil Lupu “Helping Forensic Analysts to Attribute Cyber-Attacks: An Argumentation-Based Reasoner” in Human-Like Computing (HLC), 2019.
- Konstantina Spanaki, Erisa Karafili, Stella Despoudi “Data sharing in Agriculture 4.0: Applications of AI for access control decisions” in EUROMA 2019
- Konstantina Spanaki, Erisa Karafili, Emil C. Lupu “Sharing agreements and quality attributes in data manufacturing” in EUROMA 2018
- Erisa Karafili, Antonis Kakas, Nikolaos Spanoudaki, Emil Lupu “Argumentation-Based Security for Social Good” in Explain AI@Imperial Workshop 2018
Invited Talks and Seminars for AF-Cyber (by Dr Erisa Karafili)
Invited Talks and Seminars for AF-Cyber (by Dr Erisa Karafili)
- “Helping Forensics Analysts to Understand and AttributeCyber-Attacks” Explainable AI Seminars @Imperial (December 2019)
- “Two Solutions to Assist Forensic Analysts during the Investigation of Cyber-Attacks” at the Center for Information Security and Trust (CIST), Computer Science Department, IT University of Copenhagen, Denmark (November 2019)
- “Investigating Cyber-attacks: Two solutions for analyzing and attributing cyber-attacks” at the Security Group Department of Mathematics and Computer Science, TU Eindhoven, The Netherlands (September 2019)
- “Helping Forensic Analysts to Analyze and Attribute Cyber-Attacks” at the Computer Security and Industrial Cryptography Group (COSIC), Department of Electrical Engineering, KU Leuven, Belgium (September 2019) (the video of the presentation is available at the COSIC's Youtube Channel)
- “Helping Forensic Analysts to Analyze and Attribute Cyber-Attacks” at the Computer Science Department, Swansea University, UK (November 2018)
- “Analyzing cyber-forensics evidence: A formal approach” RA Symposium 2018 @DoC Imperial College London (June 2018)
- “Argumentation-Based Security for Social Good” in Explain AI@Imperial Workshop (April 2018)
Papers Under Review and Drafts for AF-Cyber
Papers Under Review and Drafts for AF-Cyber
- Erisa Karafili, Luca Viganò, Matteo Cristani, “A Complete Formal Approach for Analyzing Cyber-Forensics Evidence” (2020)
- Erisa Karafili, Fulvio Valenca, Yichen Chen, Emil Lupu “A framework for automatic firewalls configuration via argumentation reasoning” (2019)
- Erisa Karafili, Valentine Delory “Towards Cyber-Forensic Evidence Prioritisation using Bayesian Attack Graphs” (2019)
- Fulvio Valenza, Erisa Karafili, Rodrigo Vieira Steiner, Emil Lupu “TTAMELESS: a hybrid threat model for smart systems” (2019)
- Konstantina Spanaki, Erisa Karafili, Stella Despoudi “Data Sharing in Agriculture 4.0: Concepts and Challenges ” (2019)
- Konstantina Spanaki, Erisa Karafili, Uthayasankar Sivarajah, Stella Despoudi, Zahir Irani “AI and Food Security: Swarm Intelligence for Smart Agricultural Operations” (2019)