Wire - A Formal Intermediate Language for Binary Analysis.

Silvio Cesare, Yang Xiang

Browse the full TrustCom paper archive.