ArXiv
CS
Explorer
Abstract
☆
☆
Bookmarks
🏆
RSS
How to Use
FAQ
Home
/
2605.07814v1
cs.CR
cs.SE
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers
Sven Peldszus
,
Frederik Reiche
,
Kevin Hermann
,
Sophie Corallo
,
Thorsten Berger
,
Robert Heinrich
May 8, 2026