This repository contains the research platform which was created at George Mason University's GATE Lab to investigate the use of formal verification tools for logic locking deobfuscation.
The source code is released under a BSD-3-Clause license as basis for further research. More information on the usage and installation of this tool could be found in the wiki page.
You can learn more about this tool in our paper which explains how we adapted formal verification tools to find the key inputs of logic locked circuits.
@article{roshanisefat2021rane,
title={RANE: An Open-Source Formal De-obfuscation Attack for Reverse Engineering of Logic Encrypted Circuits},
author={Roshanisefat, Shervin and Mardani Kamali, Hadi and Homayoun, Houman and Sasan, Avesta},
journal={Great Lakes Symposium on VLSI},
year={2021}
}