Monoid structures on indexed containers
Leakage-free probabilistic Jasmin programs
Drawing strategies analysis for the embedded figure tests
Statistical machine learning techniques for wave spectre estimation in coastal seas
Zero-knowledge in Easycrypt
Preliminary results in using attention for increasing attack identification efficiency
Application of the LSTM models for Baltic Sea wave spectra estimation
Comparison of one- two- and three-dimensional CNN models for drawing-test-based diagnostics of the Parkinson’s disease
SSProve: a foundational framework for modular cryptographic proofs in Coq