Vertx: Automated Validation of Binary Transformations 

Originally published on

Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, FEAST@CCS 2017, Dallas, TX, USA, November 3, 2017


Denis Gopan, Peter Ohmann and David Melski


The paper describes Vertx, a tool for validating software binary transformations. Vertx enables software developers and system administrators to automatically check the correctness of software binary transformations such as security hardening and optimization. Transformation validation increases user trust in binary-transformation technology and allows binary transformations to be safely used in critical applications that have narrow margins of error.

Contact Us

Get a personally guided tour of our solution offerings. 

Contact US