“DANA Universal Dataflow Analysis for Gate-Level Netlist Reverse Engineering”, TCHES, vol. 2020, no. 4, pp. 309–336, Aug. 2020, doi: 10.13154/tches.v2020.i4.309-336.