Enabling Constraint-based Binary Reconfiguration by Binary Analysis - Baldin, Daniel; Grösbrink, Stefan; Oberthür, Simon (International Journal on Computing (JoC) 1(4))