Erisa Karafili

Rodrigo Vieira Steiner

IEEE Trans. Dependable Secur. Comput., 2023

A Methodology for Cybersecurity Risk Assessment in Supply Chains.

[BibT_eX]

[DOI]

Proceedings of the Computer Security. ESORICS 2023 International Workshops, 2023

2022

Forensic analysis of Tor in Windows environment: A case study.

[BibT_eX]

[DOI]

Vaia-Maria Angeli

Ahmad Atamli

Proceedings of the ARES 2022: The 17th International Conference on Availability, Reliability and Security, Vienna,Austria, August 23, 2022

2021

AI applications of data sharing in agriculture 4.0: A framework for role-based data access control.

[BibT_eX]

[DOI]

Konstantina Spanaki

Stella Despoudi

Int. J. Inf. Manag., 2021

Time-stamped claim logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2021

Private Data Harvesting on Alexa Using Third-Party Skills.

[BibT_eX]

[DOI]

Jack Corbett

Proceedings of the Emerging Technologies for Authorization and Authentication, 2021

2020

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

[BibT_eX]

[DOI]

Linna Wang

Digit. Investig., 2020

Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning.

[BibT_eX]

[DOI]

Proceedings of the NOMS 2020, 2020

Automatic Firewalls' Configuration Using Argumentation Reasoning.

[BibT_eX]

[DOI]

Fulvio Valenza

Proceedings of the Emerging Technologies for Authorization and Authentication, 2020

2019

An Argumentation-Based Approach to Assist in the Investigation and Attribution of Cyber-Attacks.

[BibT_eX]

[DOI]

Linna Wang

CoRR, 2019

2018

An argumentation reasoning approach for data processing.

[BibT_eX]

[DOI]

Konstantina Spanaki

Comput. Ind., 2018

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

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

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

[BibT_eX]

[DOI]

Daniele Sgandurra

Emil Lupu

Proceedings of the Emerging Technologies for Authorization and Authentication, 2018

A Formal Approach to Analyzing Cyber-Forensics Evidence.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2018

Policy Support for Autonomous Swarms of Drones.

[BibT_eX]

[DOI]

Proceedings of the Emerging Technologies for Authorization and Authentication, 2018

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

[BibT_eX]

[DOI]

Konstantina Spanaki

Proceedings of the Business Information Systems Workshops, 2018

2017

Non-monotonic reasoning rules for energy efficiency.

[BibT_eX]

[DOI]

J. Ambient Intell. Smart Environ., 2017

Verification techniques for policy based systems.

[BibT_eX]

[DOI]

Stephen Pipes

Proceedings of the 2017 IEEE SmartWorld, 2017

Argumentation-based policy analysis for drone systems.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE SmartWorld, 2017

Decision-making in policy governed human-autonomous systems teams.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE SmartWorld, 2017

Next generation firewalls for dynamic coalitions.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE SmartWorld, 2017

Enabling Data Sharing in Contextual Environments: Policy Representation and Analysis.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, 2017

Mission Support for Drones: a Policy Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Micro Aerial Vehicle Networks, 2017

Improving data sharing in data rich environments.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017

Argumentation-Based Security for Social Good.

[BibT_eX]

[DOI]

Antonis C. Kakas

Nikolaos I. Spanoudakis

Proceedings of the 2017 AAAI Fall Symposia, Arlington, Virginia, USA, November 9-11, 2017, 2017

2016

Formalizing Threat Models for Virtualized Systems.

[BibT_eX]

[DOI]

Daniele Sgandurra

Emil Lupu

Proceedings of the Data and Applications Security and Privacy XXX, 2016

Defeasible Reasoning about Electric Consumptions.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016

2015

How to Trust the Re-use of Data.

[BibT_eX]

[DOI]

Hanne Riis Nielson

Flemming Nielson

Proceedings of the Security and Trust Management - 11th International Workshop, 2015

Improving Energy Saving Techniques by Ambient Intelligence Scheduling.

[BibT_eX]

[DOI]

Claudio Tomazzoli

Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications, 2015

2014

Tableau systems for reasoning about risk.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2014

Energy Saving by Ambient Intelligence Techniques.

[BibT_eX]

[DOI]

Claudio Tomazzoli

Proceedings of the 17th International Conference on Network-Based Information Systems, 2014

2013

A complete tableau procedure for risk analysis.

[BibT_eX]

[DOI]

Proceedings of the 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS), 2013

2012

Towards a Logical Framework for Reasoning about Risk.

[BibT_eX]

[DOI]

Proceedings of the Multidisciplinary Research and Practice for Information Systems, 2012

2011

Blocking Underhand Attacks by Hidden Coalitions.

[BibT_eX]

Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 2, 2011

2010

Blocking Underhand Attacks by Hidden Coalitions (Extended Version)

[BibT_eX]

[DOI]