Extracting Sent Message Formats from Executables Using Backward Slicing | IEEE Conference Publication | IEEE Xplore