3 papers
cs.CR2026
MAECO-Lite: Modular Ontology for Dynamic Malware Analysis
Zekeri Adams, Peter Švec, Ján Kľuka +4
Capturing dynamic malware behavior in a practical but still semantically precise manner remains a significant challenge in cyber threat intelligence. While standards such as MAEC a…
cs.CR2024
Semantic Data Representation for Explainable Windows Malware Detection Models
Peter Švec, Štefan Balogh, Martin Homola +3
Ontologies are a standard tool for creating semantic schemata in many knowledge intensive domains of human interest. They are becoming increasingly important also in the areas that…
cs.LO2017
First- and Second-Order Models of Recursive Arithmetics
Ján Kľuka, Paul J. Voda
We study a quadruple of interrelated subexponential subsystems of arithmetic WKL, RCA, I, and RA, which complement the similarly related quadruple WKL,…