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