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
Toronto, Canada
June 2017
Note(s): Rosette solver, ISA specification