David Halasz

dblp:323/0818 · DBLP profile ↗
← Back
4ranked-venue papers
4as first author
4since 2021 · last 2024
0000-0002-0393-7857ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 3 first-author · 3 since 2021Security and privacy · 1 · 1 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2024 Incentivizing Fairness in Autonomous Ecosystems
abstract
In the realm of Autonomous Systems, the absence of direct human oversight introduces novel challenges as these systems start forming complex relationships. The emergent dynamics raise concerns regarding the fair distribution of resources and the promotion of altruistic behavior, which are traditionally moderated by human intervention. This paper envisions an innovative approach that integrates the monetization of acts of generosity in autonomous ecosystems to foster benevolent actions among autonomous agents and, therefore, promote the fairness of the ecosystem as a whole.
David Halasz, Dasa Kusniráková, Suyash Shandilya, Barbora Buhnova
SEAA1
2023 Conceptual Framework for Adaptive Safety in Autonomous Ecosystems
David Halasz, Barbora Buhnova
ICSOFT1
2023 Trustworthy Execution in Untrustworthy Autonomous Systems
abstract
With the increasing pervasiveness of software solutions, which are joining cyber-physical spaces and forming partnerships with humans, the importance of the trustworthiness of these systems is growing. At the same time, however, trustworthiness assurance is becoming extremely difficult in these complex ecosystems due to the high autonomy, unpredictability and limited controllability of their individual players. To mitigate safety risks for humans, these Dynamic Autonomous Ecosystems (e.g., Smart Cities) might require their member systems (e.g., Autonomous Vehicles) to execute software modules called Smart Agents to ensure safe coordination among themselves. Unfortunately, this technology is currently in its very early development with many challenges ahead. Namely, there is no guaranteed way of ensuring that these agents run on the right piece of hardware, with the right privileges required to fulfill their roles, and without the execution environment tampering with their instructions. This way, the host system (e.g., the Autonomous Vehicle we need to control for the sake of the safety of other ecosystem members) can escape the actual safety measures to be enforced. In this paper, we are proposing a novel software architecture that focuses on the detection of instruction tampering and privileged access in Smart Agents, and this way support the vision of trustworthy and safe evolution of Dynamic Autonomous Ecosystems.
David Halasz, Suyash Shandilya, Barbora Buhnova
TrustCom1
2022 From Systems to Ecosystems: Rethinking Adaptive Safety
abstract
The evolution of software systems into more complex ecosystems creates new challenges in ensuring their safe and secure behavior. As the complexity of software ecosystems is inherently higher than regular systems, existing safety mechanisms are no longer reliable in their context. This paper introduces a research path towards adaptive safety mechanisms that can support the degree of dynamism and high level of uncertainty introduced by these systems of systems. Our planned approach is to use runtime trust evaluation as a decision factor when enabling or disabling safety features on demand.
David Halasz
SEAMS1