Solver aided reverse engineering of architectural features

Bill Zorn, Dan Grossman, Luis Ceze
[Google Scholar] [DBLP] [Citeseer]

Proceedings of 14th Annual Workshop on Duplicating, Deconstructing and Debunking (ISCAWDDD)
Toronto, Canada
June 2017
Note(s): Rosette solver, ISA specification