Erisa Karafili

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 31

Top Topics

Defeasible Reasoning

Ambient Intelligence

Top Venues

SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI

Publications

Thomas Hoad, Erisa Karafili
A Web Browser Plugin for Users' Security Awareness. ARES (2024)
Fulvio Valenza, Erisa Karafili, Rodrigo Vieira Steiner, Emil C. Lupu
A Hybrid Threat Model for Smart Systems. IEEE Trans. Dependable Secur. Comput. 20 (5) (2023)
Betul Gokkaya, Leonardo Aniello, Erisa Karafili, Basel Halak
A Methodology for Cybersecurity Risk Assessment in Supply Chains. ESORICS Workshops (2) (2023)
Vaia-Maria Angeli, Ahmad Atamli, Erisa Karafili
Forensic analysis of Tor in Windows environment: A case study. ARES (2022)
João Rasga, Cristina Sernadas, Erisa Karafili, Luca Viganò
Time-stamped claim logic. Log. J. IGPL 29 (3) (2021)
Konstantina Spanaki, Erisa Karafili, Stella Despoudi
AI applications of data sharing in agriculture 4.0: A framework for role-based data access control. Int. J. Inf. Manag. 59 (2021)
Jack Corbett, Erisa Karafili
Private Data Harvesting on Alexa Using Third-Party Skills. ETAA (2021)
Erisa Karafili, Linna Wang, Emil C. Lupu
An Argumentation-Based Reasoner to Assist Digital Investigation and Attribution of Cyber-Attacks. Digit. Investig. (2020)
Erisa Karafili, Fulvio Valenza, Yichen Chen, Emil C. Lupu
Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning. NOMS (2020)
Erisa Karafili, Fulvio Valenza
Automatic Firewalls' Configuration Using Argumentation Reasoning. ETAA@ESORICS (2020)
Erisa Karafili, Linna Wang, Emil C. Lupu
An Argumentation-Based Approach to Assist in the Investigation and Attribution of Cyber-Attacks. CoRR (2019)
João Rasga, Cristina Sernadas, Erisa Karafili, Luca Viganò
Time-Stamped Claim Logic. CoRR (2019)
Erisa Karafili, Matteo Cristani, Luca Viganò
A Formal Approach to Analyzing Cyber-Forensics Evidence. CoRR (2018)
Erisa Karafili, Matteo Cristani, Luca Viganò
A Formal Approach to Analyzing Cyber-Forensics Evidence. ESORICS (1) (2018)
Erisa Karafili, Linna Wang, Antonis C. Kakas, Emil Lupu
Helping Forensic Analysts to Attribute Cyber-Attacks: An Argumentation-Based Reasoner. PRIMA (2018)
Erisa Karafili, Daniele Sgandurra, Emil Lupu
A Logic-Based Reasoner for Discovering Authentication Vulnerabilities Between Interconnected Accounts. ETAA@ESORICS (2018)
Alan Cullen, Erisa Karafili, Alan Pilgrim, Christopher Williams, Emil Lupu
Policy Support for Autonomous Swarms of Drones. ETAA@ESORICS (2018)
Erisa Karafili, Konstantina Spanaki, Emil C. Lupu
Access Control and Quality Attributes of Open Data: Applications and Techniques. BIS (Workshops) (2018)
Erisa Karafili, Konstantina Spanaki, Emil C. Lupu
An argumentation reasoning approach for data processing. Comput. Ind. 94 (2018)
Erisa Karafili, Emil C. Lupu
Enabling Data Sharing in Contextual Environments: Policy Representation and Analysis. SACMAT (2017)
Erisa Karafili, Emil C. Lupu, Alan Cullen, Bill Williams, Saritha Arunkumar, Seraphin B. Calo
Improving data sharing in data rich environments. IEEE BigData (2017)
Erisa Karafili, Antonis C. Kakas, Nikolaos I. Spanoudakis, Emil C. Lupu
Argumentation-Based Security for Social Good. AAAI Fall Symposia (2017)
Saritha Arunkumar, Stephen Pipes, Christian Makaya, Elisa Bertino, Erisa Karafili, Emil C. Lupu, Christopher Williams
Next generation firewalls for dynamic coalitions. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2017)
Diane Felmlee, Emil Lupu, Cassie McMillan, Erisa Karafili, Elisa Bertino
Decision-making in policy governed human-autonomous systems teams. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2017)
Erisa Karafili, Antonis C. Kakas, Nikolaos I. Spanoudakis, Emil C. Lupu
Argumentation-based Security for Social Good. CoRR (2017)
Erisa Karafili, Emil C. Lupu, Saritha Arunkumar, Elisa Bertino
Argumentation-based policy analysis for drone systems. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2017)
Alan Cullen, Bill Williams, Elisa Bertino, Saritha Arunkumar, Erisa Karafili, Emil Lupu
Mission Support for Drones: a Policy Based Approach. DroNet@MobiSys (2017)
Erisa Karafili, Stephen Pipes, Emil C. Lupu
Verification techniques for policy based systems. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2017)
Claudio Tomazzoli, Matteo Cristani, Erisa Karafili, Francesco Olivieri
Non-monotonic reasoning rules for energy efficiency. J. Ambient Intell. Smart Environ. 9 (3) (2017)
Matteo Cristani, Claudio Tomazzoli, Erisa Karafili, Francesco Olivieri
Defeasible Reasoning about Electric Consumptions. AINA (2016)
Daniele Sgandurra, Erisa Karafili, Emil Lupu
Formalizing Threat Models for Virtualized Systems. DBSec (2016)
Matteo Cristani, Erisa Karafili, Claudio Tomazzoli
Improving Energy Saving Techniques by Ambient Intelligence Scheduling. AINA (2015)
Erisa Karafili, Hanne Riis Nielson, Flemming Nielson
How to Trust the Re-use of Data. STM (2015)
Matteo Cristani, Erisa Karafili, Luca Viganò
Tableau systems for reasoning about risk. J. Ambient Intell. Humaniz. Comput. 5 (2) (2014)
Matteo Cristani, Erisa Karafili, Claudio Tomazzoli
Energy Saving by Ambient Intelligence Techniques. NBiS (2014)
Matteo Cristani, Erisa Karafili, Luca Viganò
A complete tableau procedure for risk analysis. CRiSIS (2013)
Matteo Cristani, Erisa Karafili, Luca Viganò
Towards a Logical Framework for Reasoning about Risk. CD-ARES (2012)
Matteo Cristani, Erisa Karafili, Luca Viganò
Blocking Underhand Attacks by Hidden Coalitions. ICAART (2) (2011)
Matteo Cristani, Erisa Karafili, Luca Viganò
Blocking Underhand Attacks by Hidden Coalitions (Extended Version) CoRR (2010)