RANE: An Open-Source Formal De-obfuscation Attack for Reverse Engineering of Logic Encrypted Circuits.
Shervin RoshanisefatHadi Mardani KamaliHouman HomayounAvesta SasanPublished in: ACM Great Lakes Symposium on VLSI (2021)
Keyphrases
- reverse engineering
- open source
- formal specification
- delay insensitive
- logic synthesis
- legacy software systems
- logic circuits
- asynchronous circuits
- digital circuits
- software engineering
- object oriented
- encryption algorithm
- chip design
- formal language
- dynamic analysis
- software maintenance
- program understanding
- gene regulatory networks
- business rules
- conceptual schema
- reverse engineer
- source code
- random access memory
- floating gate
- software evolution
- built in self test
- legacy systems
- case study
- program comprehension
- databases
- artificial intelligence
- multi agent systems
- s box
- flip flops
- static analysis
- machine learning