Demonstration of COSAK static analysis tools. - Dan DaCosta; Christopher Dahn; Spiros Mancoridis; Vassilis Prevelakis (DISCEX (2), 2003)

Characterizing the 'Security Vulnerability Likelihood' of Software Functions. - Dan DaCosta; Christopher Dahn; Spiros Mancoridis; Vassilis Prevelakis (ICSM, 2003)

Towards Reasoning About Properties of Imperative Programs using Linear Logic. - Dan DaCosta (CoRR, 2015)

Debugging Network Reachability with Blocked Paths. - Sam Bayless; John D. Backes; Dan DaCosta; Benjamin F. Jones 002; Nate Launchbury; Patrick Trentin; Kelsey Jewell; Sagar Joshi; Michael Q. Zeng; Nandita Mathews (CAV (2), 2021)