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
Pages 6
2019
Note(s): binary analysis, ISA specification, binary lifter
Papers: dasgupta:pldi:2020