Albartus, Nils, Max Hoffmann, Sebastian Temme, Leonid Azriel, and Christof Paar. “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 September 26, 2020. https://tches.iacr.org/index.php/TCHES/article/view/8685.