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