Skip to main content
Monthly Archives

August 2025

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…
2nd Special Session on Secure and Cognitive Continuum (SECON 2025) – Call for Papers News

2nd Special Session on Secure and Cognitive Continuum (SECON 2025) – Call for Papers

The 2nd Special Session on Secure and Cognitive Continuum (SECON 2025), will be held on 16-18. December 2025 in Sapporo, Japan, co-located with the 9th International Conference on Mobile Internet Security (MobiSec 2025). Special Session submission details   This Special Session is supported by the EU projects: EMPYREAN, CERTIFY,  DOSS…