Graph neural networks on assurance case graphs reach 0.76 ROC-AUC for link prediction and 0.94 F1 for distinguishing human from LLM-generated cases, with observed differences in hierarchical linking patterns.
Ross, Mark Winstead, and Michael McEvilley
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
An empirical study of security DSLs and code analyzers finds few common concepts, overly general weakness descriptions, and that even experts are overwhelmed by the complexity of potential mappings.
citing papers explorer
-
Evaluating Assurance Cases as Text-Attributed Graphs for Structure and Provenance Analysis
Graph neural networks on assurance case graphs reach 0.76 ROC-AUC for link prediction and 0.94 F1 for distinguishing human from LLM-generated cases, with observed differences in hierarchical linking patterns.
-
Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers
An empirical study of security DSLs and code analyzers finds few common concepts, overly general weakness descriptions, and that even experts are overwhelmed by the complexity of potential mappings.