Aaron Ballman

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 2

Top Topics

Safety Analysis

Intermediate Representations

Nuclear Power Plant

Top Venues

Publications

Eric M. Schulte, Jonathan Dorn, Antonio Flores-Montoya, Aaron Ballman, Tom Johnson
GTIRB: Intermediate Representation for Binaries. CoRR (2019)
Aaron Ballman, David Svoboda
Avoiding Insecure C++ - How to Avoid Common C++ Security Vulnerabilities. SecDev (2016)
DeLesley Hutchins, Aaron Ballman, Dean Sutherland
C/C++ Thread Safety Analysis. SCAM (2014)