2 papers
cs.CR2026
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers
Sven Peldszus, Frederik Reiche, Kevin Hermann +3
When assessing the potential impact of code-level vulnerabilities, e.g., discovered by automated analyzers, it is essential to consider them in the context of the system's security…
cs.SE2024
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
Florian Lanzinger, Christian Martin, Frederik Reiche +3
Most formal methods see the correctness of a software system as a binary decision. However, proving the correctness of complex systems completely is difficult because they are comp…