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