DANA Universal Dataflow Analysis for Gate-Level Netlist Reverse Engineering. TCHES 2020, 2020 (4), 309-336. https://doi.org/10.13154/tches.v2020.i4.309-336.