RE#: High performance derivative-based regex matching with intersection, complement, and restricted lookarounds
Autonomous vessels collision verification: geometric optimization
Finiteness of symbolic derivatives in Lean
Craig interpolation for a semi-substructural logic
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
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