2 papers
cs.CR2026
Towards Model-based Run-time Cybersecurity: On Control-Flow Anomaly Detection, Attack Identification, and Hardware Monitoring
Martin Sachenbacher, Martin Leucker, Alexander Weiss +1
Methods to increase the resilience of systems to cyber-attacks become increasingly important. Control-flow monitoring provides a principled basis to ensure integrity and detect pos…
cs.FL2025
Inference of Deterministic Finite Automata via Q-Learning
Elaheh Hosseinkhani, Martin Leucker
Traditional approaches to inference of deterministic finite-state automata (DFA) stem from symbolic AI, including both active learning methods (e.g., Angluin's L* algorithm and its…