Anna Marton, Safepay Systems

Conference: 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2025), 23-26. June 2025, Naples, Italy Authors: Földvári A, Pataricza A. Abstract: This tutorial presents an approach that enhances the engineering models developed during a system’s design by incorporating aspects of dependability and, particularly, security. This approach creates…

Conference: 3rd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems (VERDI 2025), co-located with the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2025), 23. June 2025, Naples, Italy Authors: Dée-Lukács A, Földvári A. Abstract: The rapid advancement of large language models (LLMs) creates new opportunities…

Conference: 3rd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems (VERDI 2025), co-located with the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2025), 23. June 2025, Naples, Italy Authors: Földvári A, Pataricza A. Abstract: Analyzing empirical dependability data now exceeds domain experts’ capabilities without adequate…

Conference: 18th International Conference on the Quality of Information and Communications Technology (QUATIC 2025) Authors: Apostolidis G, Siavvas M, Kalouptsoglou I, Tsoukalas D, Chatzigeorgiou A, Ampatzoglou A, Kehagias D, Tzovaras D. Abstract: Technical Debt (TD) arises from insufficient design and poor coding practices, affecting important software quality attributes. As systems…

Conference: Workshop on Whole-Lifecycle Security for Smart Systems: Methods and Tools (LIFESEC2025) at the 11th International Conference on Smart Computing (SMARTCOMP2025) , 16. June 2025, Cork, Ireland Authors: Apostolidis G, Kalouptsoglou I, Siavvas M, Kehagias D, Tzovaras D. Abstract: In modern software systems, early and accurate vulnerability detection is crucial.…