Skip to main content

Publications

Kalouptsoglou I, Siavvas M, Ampatzoglou A, Kehagias D, Chatzigeorgiou A. 2025. LocVul: Line-Level Vulnerability Localization based on a Sequence-to-Sequence Approach. Information and Software Technology 2025 Publications

Kalouptsoglou I, Siavvas M, Ampatzoglou A, Kehagias D, Chatzigeorgiou A. 2025. LocVul: Line-Level Vulnerability Localization based on a Sequence-to-Sequence Approach. Information and Software Technology 2025

Journal: Information and Software Technology, Volume 19, January 2026 Authors: Kalouptsoglou I, Siavvas M, Ampatzoglou A, Kehagias D, Chatzigeorgiou A. Abstract: Context: The development of secure software systems depends on early and accurate vulnerability identification. Manual inspection is a time-consuming process that requires specialized knowledge. Therefore, as software complexity grows,…
Gelenbe E, Ren Q, Yan Z. 2025. A Probabilistic Dynamic Network Trust Model for IoT Systems with Lost Messages and Cyberattacks. MASCOTS 2025. Publications

Gelenbe E, Ren Q, Yan Z. 2025. A Probabilistic Dynamic Network Trust Model for IoT Systems with Lost Messages and Cyberattacks. MASCOTS 2025.

Conference: 33rd International Conference on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2025), 21-23. October 2025, Sorbonne University, Paris, FR Authors: Gelenbe E, Ren Q, Yan Z. Abstract: This paper introduces a new dynamic networked trust model, the Random Neural Network Trust Model (RNNTM), which incorporates the…
Gelenbe E, Nasereddin M. 2025. Data Driven Optimum Cyberattack Mitigation. IEEE DSAA 2025. Publications

Gelenbe E, Nasereddin M. 2025. Data Driven Optimum Cyberattack Mitigation. IEEE DSAA 2025.

Conference: 12th IEEE International Conference on Data Science and Advanced Analytics (DSAA 2025) Authors: Gelenbe E., Nasereddin M. Abstract: Gateways to the Internet of Things (IoT) are typically servers that communicate with IoT devices, providing them with low-latency services, and connecting them to the internet and other backbone networks. Since…
Dée-Lukács A, Földvári A. 2025. Dependability Assurance with Symbolic Reasoning in LLM-enabled Systems. VERDI 2025. Publications

Dée-Lukács A, Földvári A. 2025. Dependability Assurance with Symbolic Reasoning in LLM-enabled Systems. VERDI 2025.

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…
Földvári A, Pataricza A. 2025. Model-driven, logic-supported exploratory dependability analysis. VERDI 2025. Publications

Földvári A, Pataricza A. 2025. Model-driven, logic-supported exploratory dependability analysis. VERDI 2025.

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…