Towards verified binary raising

Joe Hendrix, Guannan Wei, Simon Winwood
[Google Scholar] [DBLP] [Citeseer]

Workshop on Instruction Set Architecture Specification (co-located with ITP 2019)
Pages 6
2019
Note(s): binary analysis, ISA specification, binary lifter
Papers: dasgupta:pldi:2020