@misc{indiciae529a4ad7e988, title = {Towards Model-based Run-time Cybersecurity: On Control-Flow Anomaly Detection, Attack Identification, and Hardware Monitoring}, author = {Martin Sachenbacher and Martin Leucker and Alexander Weiss and Aliyu Tanko Ali}, year = {2026}, url = {https://arxiv.org/abs/2608.11802}, note = {Source identifier: 2608.11802} }