Kevin Hermann

Identifiers

No identifiers captured yet.

Papers (1)

1. Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers cs.CR · 2026 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Frederik Reiche 1 shared papers
• Robert Heinrich 1 shared papers
• Sophie Corallo 1 shared papers
• Sven Peldszus 1 shared papers
• Thorsten Berger 1 shared papers