SecRef*: securely sharing mutable references between verified and unverified code in F*
A scope review of secure broadcasting protocols for the automatic identification system
Federated learning of explainable AI(FedXAI) for deep learning-based intrusion detection in IoT networks
Smartphone-based microkinematic feature analysis for mental fatigue detection using machine learning
PASTA threat modeling for cyber resilience and COLREG compliance in autonomous ship systems
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?
Towards a formal foundation for blockchain ZK Rollups
Skew monoidal structures on actegories
Comparison of one- two- and three-dimensional CNN models for drawing-test-based diagnostics of the Parkinson’s disease
Semi-substructural logics à la Lambek with symmetry
Iterative optimization of hyperparameter-based metamorphic transformations
Metamorphic testing for verification and fault localization in industrial control systems