RANE

KO | EN

gitlite — search

#javascript #python #hacktoberfest #react #ai #typescript #llm #go #golang #android #machine-learning #rust #deep-learning #linux

(★ 23)

No description available.

RANE Latest Version Download

Download Latest Version (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# RANE: Reversal Assessment of Netlist Encryption

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](https://github.com/gate-lab/RANE/wiki) page.

# Report

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.

[RANE: An Open-Source Formal De-obfuscation Attack for Reverse Engineering of Logic Encrypted Circuits](https://kamali.ece.ufl.edu/files/papers/c2021_glsvlsi.pdf)

# Citation

```bibtex
@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}
}
```

RANE

RANE Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

RANE

RANE Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

Download README