KO
|
EN
gitlite — search
Search
#javascript
#python
#hacktoberfest
#react
#ai
#typescript
#llm
#go
#golang
#android
#machine-learning
#rust
#deep-learning
#linux
RANE
★ 23
Open GitHub ↗
No description available.
Download README (.md)
Explore Similar Repositories
sanic-guide
:
Frontpage and user guide for Sanic
stateful
:
A set of common stateful widget implementations.
lmdbdict
:
A simple wrapper for lmdb. Support dict-like operations.
laravel-app-key-rotator
:
Rotate app keys around while re-encrypting data.
Papers
:
Daily Paper Reading
// repository documentation
Was this content helpful?
★ 0
(0 ratings)
Select Rating:
★
★
★
★
★
Submit Feedback
Recent Feedback
×
Download README
Do you want to download the
README.md
file for
RANE
?
Download (.md)
# RANE: Reversal Assessment of Netlist Encryption <p align="center"> <img width="300" src="images/Logo.png" /> </p> 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} } ```
