“DANA Universal Dataflow Analysis for Gate-Level Netlist Reverse Engineering”. IACR Transactions on Cryptographic Hardware and Embedded Systems 2020, no. 4 (August 26, 2020): 309–336. Accessed January 10, 2025. https://er.ceres.rub.de/index.php/TCHES/article/view/8685.