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