DANA Universal Dataflow Analysis for Gate-Level Netlist Reverse Engineering. (2020). IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020(4), 309-336. https://doi.org/10.13154/tches.v2020.i4.309-336