HAL in Academia

HAL has been used in the context of numerous academic publications so far, some of them even made it into plugins that are now part of this repository. A non-exhaustive list of publications includes:

• Gregor Leander et al. "HAWKEYE - Recovering Symmetric Cryptography From Hardware Circuits." IACR Annual International Cryptology Conference (Crypto), 2024
• Leonid Azriel et al. "Towards Open Scan for the Open-source Hardware.", Cryptology ePrint Archive, 2023
• Simon Klix et al. "Stealing Maggie's Secrets - On the Challenges of IP Theft Through FPGA Reverse Engineering." arXiv, 2023
• Aparajithan Nathamuni-Venkatesan et al. "Word-Level Structure Identification In FPGA Designs Using Cell Proximity Information.", IEEE International Conference on VLSI Design and International Conference on Embedded Systems (VLSID), 2023
• Ram Venkat Narayanan et al. "Reverse Engineering Word-Level Models from Look-Up Table Netlists", IEEE International Symposium on Quality Electronic Design (ISQED), 2023
• Carina Wiesen et al. "The Anatomy of Hardware Reverse Engineering: An Exploration of Human Factors During Problem Solving." ACM Transactions on Computer-Human Interaction, 2023
• Susanne Engels et al. "A critical view on the real-world security of logic locking." Journal of Cryptographic Engineering (JCEN), 2022
• Florian Stolz et al. "LifeLine for FPGA Protection: Obfuscated Cryptography for Real-World Security." IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES), 2021
• Nils Albartus et al. "DANA Universal Dataflow Analysis for Gate-Level Netlist Reverse Engineering." IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES), 2020
• Steffen Becker et al. "An Exploratory Study of Hardware Reverse Engineering — Technical and Cognitive Processes." Symposium on Usable Privacy and Security (SOUPS), 2020
• Maik Ender et al. "Insights into the Mind of a Trojan Designer - The Challenge to Integrate a Trojan into the Bitstream." ACM Asia and South Pacific Design Automation Conference (ASP-DAC), 2019
• Marc Farbiak et al. "HAL - The Missing Piece of the Puzzle for Hardware Reverse Engineering, Trojan Detection and Insertion." IEEE Transactions on Dependable and Secure Computing, 2019
• Sebastian Wallat et al. "Highway to HAL: Open-Sourcing the First Extendable Gate-Level Netlist Reverse Engineering Framework." ACM International Conference on Computing Frontiers (CF), 2019
• Carina Wiesen et al. "Towards Cognitive Obfuscation Impeding Hardware Reverse Engineering Based on Psychological Insights." ACM Asia and South Pacific Design Automation Conference (ASP-DAC), 2019
• Carina Wiesen et al. "Promoting the Acquisition of Hardware Reverse Engineering Skills." IEEE Frontiers in Education Conference (FIE), 2019
• Marc Fyrbiak et al. "On the Difficulty of FSM-based Hardware Obfuscation." IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES), 2018
• Carina Wiesen et al. "Teaching Hardware Reverse Engineering: Educational Guidelines and Practical Insights." IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE), 2018

bla

• Sundarakumar Muthukumaran et al. "Reverse Engineering of RTL Controllers from Look-Up Table Netlists"
• Max Hoffmann et al. "Doppelganger Obfuscation — Exploring the Defensive and Offensive Aspects of Hardware Camouflaging"