Structured Binary Editing with a CFG Transformation Algebra | IEEE Conference Publication | IEEE Xplore