Automated Vulnerability Testing via Executable Attack Graphs. - Drew Malzahn; Zachary Birnbaum; Cimone Wright-Hamor (Cyber Security, 2020)

Quantitative Toolchain Assurance. - Dennis M. Volpano; Drew Malzahn; Andrew Pareles; Mark Thober (CoRR, 2023)