Netlist Decompilation Workflow for Recovered Design Verification, Validation, and Assurance. - Katie Liszewski; Tim McDonley; Josh Delozier; Andrew Elliott; Dylan Jones; Matthew Sutter; Adam G. Kimura (IACR Cryptol. ePrint Arch., 2021)