Albartus, Nils, et al. “DANA Universal Dataflow Analysis for Gate-Level Netlist Reverse Engineering”. IACR Transactions on Cryptographic Hardware and Embedded Systems, vol. 2020, no. 4, Aug. 2020, pp. 309-36, doi:10.13154/tches.v2020.i4.309-336.