Frederik Reiche
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1Software Eng.×1
Frequent co-authors
Research Timeline
2026
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers
The paper maps 66 security design DSLs to 559 code-level analyzer checks to quantify the challenging relationship between high-level security design and low-level implementation vulnerabilities, revealing significant gaps and complexities.
Highlighted terms show continued research focus across papers
Papers
cs.CRcs.SERecentMay 8, 2026
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers
Sven Peldszus, Frederik Reiche, Kevin Hermann, Sophie Corallo +2 more
The paper maps 66 security design DSLs to 559 code-level analyzer checks to quantify the challenging relationship between high-level security design and low-level implementation vulnerabilities, revea…
View →