Wire -- A Formal Intermediate Language for Binary Analysis | IEEE Conference Publication | IEEE Xplore