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