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
Constraint programming-based verification of COLREG safety
An Agda formalization of nonassociative Lambek calculus and its metatheory
Semi-substructural logics à la Lambek with symmetry
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
Formalizing a classification theorem for low-dimensional solvable Lie algebras in Lean
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