Skip to main content
All Posts By

Anna Marton, Safepay Systems

Szilvágyi D, Buttyán L. 2026. Automated Generation of Attack Trees from System Models. CITDS 2026. 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. Publications

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…
The DOSS Supply Trust Chain Architecture and its Modules in the DOSS Podcast Series News

The DOSS Supply Trust Chain Architecture and its Modules in the DOSS Podcast Series

 You can explore the DOSS Supply Trust Chain Architecture and its modules in the 5-part DOSS Podcast Series. You can watch the episodes on our YouTube Channel:         Episode 1: The DOSS Supply Trust Chain Episode 2: The DOSS Component Tester Episode 3: The DOSS Digital Cybersecurity…
Securing IoT from the First Connection: How the DOSS Secure Onboarding Platform Builds Trust by Design Insights

Securing IoT from the First Connection: How the DOSS Secure Onboarding Platform Builds Trust by Design

The rapid growth of the Internet of Things is transforming industries ranging from manufacturing and healthcare to smart cities and energy. However, every connected device also represents a potential entry point for cyberattacks. While much attention is given to securing devices during operation, one of the most critical security challenges…