“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 November 24, 2024. https://philosophymindscience.org/index.php/TCHES/article/view/8685.