Moving Fast with Software Verification. - Cristiano Calcagno; Dino Distefano; Jérémy Dubreil; Dominik Gabi; Pieter Hooimeijer; Martino Luca; Peter W. O'Hearn; Irene Papakonstantinou; Jim Purbrick; Dulma Rodriguez (NFM, 2015)

Purple Llama CyberSecEval: A Secure Coding Benchmark for Language Models. - Manish Bhatt; Sahana Chennabasappa; Cyrus Nikolaidis; Shengye Wan; Ivan Evtimov; Dominik Gabi; Daniel Song; Faizan Ahmad; Cornelius Aschermann; Lorenzo Fontana; Sasha Frolov; Ravi Prakash Giri; et al. (CoRR, 2023)

LlamaFirewall: An open source guardrail system for building secure AI agents. - Sahana Chennabasappa; Cyrus Nikolaidis; Daniel Song; David Molnar; Stephanie Ding; Shengye Wan; Spencer Whitman; Lauren Deason; Nicholas Doucette; Abraham Montilla; Alekhya Gampa; Beto de Paola; et al. (CoRR, 2025)