The DOSS – Secure-By-Design IoT Operation With Supply Chain Control – project aims to improve the security and reliability of IoT operations by introducing an integrated monitoring and validation framework to IoT Supply Chains, including all the relevant stakeholders. DOSS elaborates on a secure-by-design methodology and implements related technology based on formalized data exchange, component testing, and architecture modeling.
DOSS
DESIGN AND OPERATION OF SECURE IoT SUPPLY CHAIN
DOSS brings continuous security and trust across the entire IoT lifecycle.
The Concept
USPs outline
What is this solution offering that’s different?
End-to-end communication
The DOSS “Supply Trust Chain” connects all relevant stakeholders with a formalized communication flow to facilitate monitoring of the movement of IoT devices from manufacturers all the way to decommissioning.
Multi-level security testing
DOSS establishes a comprehensive testing model covering all IoT components, including the binary testing of IoT devices, black-box analysis of 3rd party applications, vulnerability assessment on open-source applications, and internal developments the result of which will provide solid evidence of the existence or absence of vulnerabilities.
Security modeling in digital twin
DOSS will use an AI-assisted, flexibly configurable cybersecurity digital twin to simulate already in the design phase the architecture of selected IoT operations to identify potential attack scenarios, to analyze their impact, and to elaborate the necessary countermeasures.
Security feedback from operation
The DOSS IoT “Supply Trust Chain” also comprises the highly protected IoT operation itself, which is integrated into the communication loop to provide relevant security-related information to other actors of the IoT supply chain.
Latest news
A mix of research updates, insights, and scientific publications
Szilvágyi D, Buttyán L. 2026. Automated Generation of Attack Trees from System Models. CITDS 2026.
Conference: 4th IEEE Conference on Information Technology and Data Science (CITDS 2026) 27–28. August 2026, Debrecen, Hungary Authors: Szilvágyi D, Buttyán L. Abstract: Attack trees support threat modeling by decomposing high-level attacker goals into smaller subgoals connected by AND/OR logic. Manual construction is time-consuming and does not scale to complex…
Dée-Lukács A, Toldi B, Földvári A. 2026. Symbolic Logic Validation of LLM Interactions in Critical Systems. Acta Universitatis Sapientiae, Informatica 2026.
Journal: Acta Universitatis Sapientiae, Informatica, Volume 18, article number 19 (2026) Authors: Dée-Lukács A, Toldi B, Földvári A. Abstract: Large language models (LLMs) have demonstrated significant capabilities in natural language understanding and decision support. However, their deployment in critical environments requires robust mechanisms to ensure dependability and prevent erroneous inputs or outputs from…
