Tool Name
RANE: Reversal Assessment of Netlist Encryption
Description
This paper introduces the RANE Attack, an open-source CAD-based toolbox for evaluating the security of logic locking mechanisms that implement a unique interface to use formal verification tools without a need for any translation or simplification.
More Info
Publications/References
Shervin Roshanisefat, Hadi Mardani Kamali, Houman Homayoun, and Avesta Sasan. 2021. RANE: An Open-Source Formal De-obfuscation Attack for Reverse Engineering of Logic Encrypted Circuits. In Proceedings of the 2021 on Great Lakes Symposium on VLSI (GLSVLSI ’21). Association for Computing Machinery, New York, NY, USA, 221–228. https://doi.org/10.1145/3453688.3461760