Automated Tools for Binary Analysis & Optimization

Galois was awarded a contract through the Office of Naval Research – we’re partnering with SRI to build automated tools for binary analysis and optimization to minimize software bloat and reduce costs and complexity. Read more about the effort here: http://bit.ly/1fG7S45.