Title
Highway to HAL: open-sourcing the first extendable gate-level netlist reverse engineering framework
Abstract
Since hardware oftentimes serves as the root of trust in our modern interconnected world, malicious hardware manipulations constitute a ubiquitous threat in the context of the Internet of Things (IoT). Hardware reverse engineering is a prevalent technique to detect such manipulations. Over the last years, an active research community has significantly advanced the field of hardware reverse engineering. Notably, many open research questions regarding the extraction of functionally correct netlists from Field Programmable Gate Arrays (FPGAs) or Application Specific Integrated Circuits (ASICs) have been tackled. In order to facilitate further analysis of recovered netlists, a software framework is required, serving as the foundation for specialized algorithms. Currently, no such framework is publicly available. Therefore, we provide the first open-source gate-library agnostic framework for gate-level netlist analysis. In this positional paper, we demonstrate the workflow of our modular framework HAL on the basis of two case studies and provide profound insights on its technical foundations.
Year
DOI
Venue
2019
10.1145/3310273.3323419
Proceedings of the 16th ACM International Conference on Computing Frontiers
Keywords
Field
DocType
gate-level netlist, hardware reverse engineering, open-source framework
Open research,Netlist,Software engineering,Computer science,Computer security,Reverse engineering,Field-programmable gate array,Application-specific integrated circuit,Modular design,Workflow,Software framework
Conference
ISSN
ISBN
Citations 
Proceedings of Malicious Software and Hardware in Internet of Things (MAL-IOT 2019). ACM, NewYork, NY, USA, Article 4, 6 pages
978-1-4503-6685-4
0
PageRank 
References 
Authors
0.34
0
9
Name
Order
Citations
PageRank
Sebastian Wallat1172.37
Nils Albartus214.08
Steffen Becker365439.03
Max Hoffmann4165.40
Ender, M.532.08
Marc Fyrbiak6437.18
Adrian Drees700.34
Sebastian Maaßen800.34
Christof Paar93794442.62