Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
The EVerest Dataset for Secure Software Engineering
Sophie Corallo, Debora Grupp, Dominik Fuchß +4
End-to-end security verification, from requirements through architecture to code, requires datasets that span all three artifact types with fine-grained security labels. No existin…
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…