TY  - RPRT
TI  - Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers
AU  - Sven Peldszus
AU  - Frederik Reiche
AU  - Kevin Hermann
AU  - Sophie Corallo
AU  - Thorsten Berger
AU  - Robert Heinrich
PY  - 2026
UR  - https://arxiv.org/abs/2605.07814
ID  - 2605.07814
ER  -