Albartus, Nils, Max Hoffmann, Sebastian Temme, Leonid Azriel, and Christof Paar. 2020. “DANA Universal Dataflow Analysis for Gate-Level Netlist Reverse Engineering”. IACR Transactions on Cryptographic Hardware and Embedded Systems 2020 (4):309-36. https://doi.org/10.13154/tches.v2020.i4.309-336.