TY  - RPRT
TI  - Automated Abstraction Refinement for Information Flow Security in Embedded Systems
AU  - Jonas Becker-Kupczok
AU  - Lukas Ernst
AU  - Paula Herber
PY  - 2026
UR  - https://arxiv.org/abs/2609.29645
ID  - 2609.29645
ER  -