Integrating Cyber Threat Intelligence into Threat Modeling for Autonomous Ships Using PASTA and MISP
Literature Review: Cyber Security Monitoring in Maritime
Smartphone-based microkinematic feature analysis for mental fatigue detection using machine learning: Can smartphones reveal when we are tired?
Synthetic data-driven explainability for federated learning-based intrusion detection system
Towards a formal foundation for blockchain ZK Rollups
Iterative optimization of hyperparameter-based metamorphic transformations
Metamorphic testing for verification and fault localization in industrial control systems
EARLY – a tool for real-time security attack detection
Systematic literature review of threat modeling and risk assessment in ship cybersecurity
Semi-substructural logics with additives
A unifying categorical view on nondeterministic iteration and tests
Concurrent monads for shared state
Enhancing IoT Botnet attack detection in SOCs with an explainable active learning framework
Adaptation of transformer model for numeric case