2017 in review

Summary: Trail of Bits' 2017 review recounts the firm's year: it won contracts with Lockheed Martin and the Department of Defense's DIUx to apply and scale its Cyber Reasoning System, open-sourced the Manticore symbolic execution tool, and reworked McSema around a new Remill library for binary lifting. The firm also reported becoming the first information security company to join the Enterprise Ethereum Alliance, releasing the iVerify iOS jailbreak detection library, and building Flying Sandbox Monster, described as the industry's first sandboxed anti-virus scanner for Windows.
Why it matters: The firm's automated bug discovery work is being scaled through contracts with Lockheed Martin and DIUx, and its open-sourced Manticore tool was adapted within a year to audit Ethereum smart contracts - capabilities that now sit in the hands of both defense buyers and outside researchers.

Read the original at Trail of Bits Blog ↗