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…