Skip to main content

Publications

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…
Jungnickel L, Isakovic K, Barakat R, Schneider M. 2026. Memory Sanitization for Bare-Metal Firmware Fuzzing via Static Analysis and Memory Access Observation. STAM 2026. Publications

Jungnickel L, Isakovic K, Barakat R, Schneider M. 2026. Memory Sanitization for Bare-Metal Firmware Fuzzing via Static Analysis and Memory Access Observation. STAM 2026.

Conference: 6th International Workshop on Security Testing and Monitoring (STAM 2026) co-located with the 21st International Conference on Availability, Reliability and Security (ARES 2026) 24-27. August 2026, Linköping, Sweden Authors: Jungnickel L, Isakovic K, Barakat R, Schneider M. Abstract: Memory sanitization is a key technique for detecting memory corruption bugs…
Matheu S, Ruzafa P, Kalouptsoglou I, Skarmeta A, Kehagias D. 2026. A Model-Driven Approach to Secure Device Onboarding Using a Device Security Passport. Computer Modeling in Engineering & Sciences 2026 Publications

Matheu S, Ruzafa P, Kalouptsoglou I, Skarmeta A, Kehagias D. 2026. A Model-Driven Approach to Secure Device Onboarding Using a Device Security Passport. Computer Modeling in Engineering & Sciences 2026

Journal: Computer Modeling in Engineering & Sciences 2026, Vol.147, No.3 Authors: Matheu S, Ruzafa P, Kalouptsoglou I, Skarmeta A and Kehagias D. Abstract: The evolution of the Future Mobile Internet, driven by large-scale connectivity and heterogeneous device ecosystems, introduces significant challenges for securely integrating devices into operational environments. Existing onboarding…
Voulkopoulou A, Kalouptsoglou I, Kehagias D, Tzovaras D. 2026. Context Matters: Vulnerability Categorization with Dual-Input Code Representations. LIFESEC 2026. Publications

Voulkopoulou A, Kalouptsoglou I, Kehagias D, Tzovaras D. 2026. Context Matters: Vulnerability Categorization with Dual-Input Code Representations. LIFESEC 2026.

Conference: 2nd Workshop on Whole-Lifecycle Security for Smart Systems: Methods and Tools (LIFESEC 2026), collocated with the 12th IEEE International Conference on Smart Computing (SmartComp 2026) 22. June 2026, Messina, Italy Authors: Voulkopoulou A, Kalouptsoglou I, Kehagias D, Tzovaras D. Abstract: Nowadays, software security is considered an important aspect of…