Securing verified IO programs against unverified code in F*
Hybrid cybersecurity research and education environment for maritime sector
Yet another canonical nondeterministic automaton
Explainable federated learning for botnet detection in IoT networks
Semi-substructural logics à la Lambek
Cyclic duality for slice and orbit 2-categories
Improving IoT security with explainable AI: quantitative evaluation of explainability for IoT botnet detection
Machine learning-based analysis of human motions for Parkinson’s disease diagnostics
Semi-substructural logics à la Lambek
Zero-knowledge in Easycrypt
Application of the LSTM models for Baltic Sea wave spectra estimation
Preliminary results in using attention for increasing attack identification efficiency
A light-weight CNN model for efficient Parkinson’s disease diagnostics
Canonical gradings of monads