HAL - An Open-Source Framework for Gate-Level Netlist Analysis.

Sebastian Wallat

Julian Speith Jörn Langheinrich Marc Fyrbiak Max Hoffmann 0001 Sebastian Wallat Simon Klix Nils Albartus René Walendy Steffen Becker 0003 Christof Paar HAL - An Open-Source Framework for Gate-Level Netlist Analysis. 2025 December abs/2512.14139 CoRR https://doi.org/10.48550/arXiv.2512.14139 db/journals/corr/corr2512.html#abs-2512-14139 streams/journals/corr

Marc Fyrbiak Sebastian Wallat Sascha Reinhard Nicolai Bissantz Christof Paar Graph Similarity and its Applications to Hardware Security. 505-519 2020 69 IEEE Trans. Computers 4 https://doi.org/10.1109/TC.2019.2953752 https://www.wikidata.org/entity/Q114985418 db/journals/tc/tc69.html#FyrbiakWRBP20

Marc Fyrbiak Sebastian Wallat Pawel Swierczynski Max Hoffmann 0001 Sebastian Hoppach Matthias Wilhelm 0002 Tobias Weidlich Russell Tessier Christof Paar HAL - The Missing Piece of the Puzzle for Hardware Reverse Engineering, Trojan Detection and Insertion. 498-510 2019 16 IEEE Trans. Dependable Secur. Comput. 3 https://doi.org/10.1109/TDSC.2018.2812183 https://www.wikidata.org/entity/Q130164095 db/journals/tdsc/tdsc16.html#FyrbiakWSHHWWTP19

Carina Wiesen Nils Albartus Max Hoffmann 0001 Steffen Becker 0003 Sebastian Wallat Marc Fyrbiak Nikol Rummel Christof Paar Towards cognitive obfuscation: impeding hardware reverse engineering based on psychological insights. 104-111 2019 ASP-DAC https://doi.org/10.1145/3287624.3288741 conf/aspdac/2019 db/conf/aspdac/aspdac2019.html#WiesenA0BWFRP19 Maik Ender Pawel Swierczynski Sebastian Wallat Matthias Wilhelm 0002 Paul Martin Knopp Christof Paar Insights into the mind of a trojan designer: the challenge to integrate a trojan into the bitstream. 112-119 2019 ASP-DAC https://doi.org/10.1145/3287624.3288742 conf/aspdac/2019 db/conf/aspdac/aspdac2019.html#EnderSWWKP19 Sebastian Wallat Nils Albartus Steffen Becker 0003 Max Hoffmann 0001 Maik Ender Marc Fyrbiak Adrian Drees Sebastian Maaßen Christof Paar Highway to HAL: open-sourcing the first extendable gate-level netlist reverse engineering framework. 392-397 2019 CF https://doi.org/10.1145/3310273.3323419 conf/cf/2019 db/conf/cf/cf2019.html#WallatA00EFDMP19

Carina Wiesen Nils Albartus Max Hoffmann 0001 Steffen Becker 0003 Sebastian Wallat Marc Fyrbiak Nikol Rummel Christof Paar Towards Cognitive Obfuscation: Impeding Hardware Reverse Engineering Based on Psychological Insights. 2019 abs/1910.00323 CoRR http://arxiv.org/abs/1910.00323 db/journals/corr/corr1910.html#abs-1910-00323

Sebastian Wallat Nils Albartus Steffen Becker 0003 Max Hoffmann 0001 Maik Ender Marc Fyrbiak Adrian Drees Sebastian Maaßen Christof Paar Highway to HAL: Open-Sourcing the First Extendable Gate-Level Netlist Reverse Engineering Framework. 2019 abs/1910.00350 CoRR http://arxiv.org/abs/1910.00350 db/journals/corr/corr1910.html#abs-1910-00350

Maik Ender Pawel Swierczynski Sebastian Wallat Matthias Wilhelm 0002 Paul Martin Knopp Christof Paar Insights into the Mind of a Trojan Designer: The Challenge to Integrate a Trojan into the Bitstream. 2019 abs/1910.01517 CoRR http://arxiv.org/abs/1910.01517 db/journals/corr/corr1910.html#abs-1910-01517

Marc Fyrbiak Sebastian Strauß Christian Kison Sebastian Wallat Malte Elson Nikol Rummel Christof Paar Hardware Reverse Engineering: Overview and Open Challenges. 2019 abs/1910.01518 CoRR http://arxiv.org/abs/1910.01518 db/journals/corr/corr1910.html#abs-1910-01518

Sebastian Wallat Marc Fyrbiak Moritz Schlögel Christof Paar A Look at the Dark Side of Hardware Reverse Engineering - A Case Study. 2019 abs/1910.01519 CoRR http://arxiv.org/abs/1910.01519 db/journals/corr/corr1910.html#abs-1910-01519

Marc Fyrbiak Sebastian Wallat Sascha Reinhard Nicolai Bissantz Christof Paar Graph Similarity and Its Applications to Hardware Security. 983 2019 2019 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2019/983 db/journals/iacr/iacr2019.html#FyrbiakWRBP19

Marc Fyrbiak Sebastian Wallat Jonathan Déchelotte Nils Albartus Sinan Böcker Russell Tessier Christof Paar On the Difficulty of FSM-based Hardware Obfuscation. 1163 2019 2019 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2019/1163 db/journals/iacr/iacr2019.html#FyrbiakWDABTP19

Marc Fyrbiak Sebastian Wallat Jonathan Déchelotte Nils Albartus Sinan Böcker Russell Tessier Christof Paar On the Difficulty of FSM-based Hardware Obfuscation. 293-330 2018 2018 IACR Trans. Cryptogr. Hardw. Embed. Syst. 3 https://doi.org/10.13154/tches.v2018.i3.293-330 db/journals/tches/tches2018.html#FyrbiakWDABTP18

Marc Fyrbiak Sebastian Strauss Christian Kison Sebastian Wallat Malte Elson Nikol Rummel Christof Paar Hardware reverse engineering: Overview and open challenges. 88-94 2017 IVSW https://doi.org/10.1109/IVSW.2017.8031550 conf/ivsw/2017 db/conf/ivsw/ivsw2017.html#FyrbiakSKWERP17 Sebastian Wallat Marc Fyrbiak Moritz Schlögel Christof Paar A look at the dark side of hardware reverse engineering - a case study. 95-100 2017 IVSW https://doi.org/10.1109/IVSW.2017.8031551 conf/ivsw/2017 db/conf/ivsw/ivsw2017.html#WallatFSP17

Marc Fyrbiak Sebastian Wallat Pawel Swierczynski Max Hoffmann 0001 Sebastian Hoppach Matthias Wilhelm 0002 Tobias Weidlich Russell Tessier Christof Paar HAL- The Missing Piece of the Puzzle for Hardware Reverse Engineering, Trojan Detection and Insertion. 783 2017 2017 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2017/783 db/journals/iacr/iacr2017.html#FyrbiakWSHHWWTP17

Nils Albartus Steffen Becker 0003 Nicolai Bissantz Sinan Böcker Jonathan Déchelotte Adrian Drees Malte Elson Maik Ender Marc Fyrbiak Max Hoffmann 0001 Sebastian Hoppach Christian Kison Simon Klix Paul Martin Knopp Jörn Langheinrich Sebastian Maaßen Christof Paar Sascha Reinhard Nikol Rummel Moritz SchloegelMoritz Schlögel Julian Speith Sebastian StraussSebastian Strauß Pawel Swierczynski Russell Tessier René Walendy Tobias Weidlich Carina Wiesen Matthias Wilhelm 0002