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

Max Hoffmann 0001 Ruhr-University Bochum, Germany https://www.emsec.rub.de/chair/_staff/Max_Hoffmann/ https://orcid.org/0000-0001-9072-611X Max Hoffmann Max Hoffmann 0002 RWTH Aachen University, Germany https://scholar.google.com/citations?user=DS8-2cwAAAAJ Max Hoffmann 0003 Heidelberg University, Germany

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

Susanne Engels Max Hoffmann 0001 Christof Paar A critical view on the real-world security of logic locking. 229-244 2022 12 J. Cryptogr. Eng. 3 https://doi.org/10.1007/s13389-022-00294-x https://www.wikidata.org/entity/Q114848844 db/journals/jce/jce12.html#EngelsHP22

Max Hoffmann 0001 Christof Paar Doppelganger Obfuscation - Exploring theDefensive and Offensive Aspects of Hardware Camouflaging. 82-108 2021 2021 IACR Trans. Cryptogr. Hardw. Embed. Syst. 1 https://doi.org/10.46586/tches.v2021.i1.82-108 https://www.wikidata.org/entity/Q114843868 db/journals/tches/tches2021.html#HoffmannP21

Max Hoffmann 0001 Falk Schellenberg Christof Paar ARMORY: Fully Automated and Exhaustive Fault Simulation on ARM-M Binaries. 1058-1073 2021 16 IEEE Trans. Inf. Forensics Secur. https://doi.org/10.1109/TIFS.2020.3027143 https://www.wikidata.org/entity/Q124821862 db/journals/tifs/tifs16.html#HoffmannSP21

Max Hoffmann 0001 Falk Schellenberg Christof Paar ARMORY: Fully Automated and Exhaustive Fault Simulation on ARM-M Binaries. 2021 abs/2105.13769 CoRR https://arxiv.org/abs/2105.13769 db/journals/corr/corr2105.html#abs-2105-13769

Max Hoffmann 0001 Security and subvertability of modern hardware: a journey through selected layers of hardware security. 2020 Ruhr University Bochum, Germany https://hss-opus.ub.ruhr-uni-bochum.de/opus4/frontdoor/index/index/docId/7689 https://nbn-resolving.org/urn:nbn:de:hbz:294-76899 https://d-nb.info/1223175952

Max Hoffmann 0001 Michael Klooß Markus Raiber Andy Rupp Black-Box Wallets: Fast Anonymous Two-Way Payments for Constrained Devices. 165-194 2020 2020 Proc. Priv. Enhancing Technol. 1 https://doi.org/10.2478/popets-2020-0010 db/journals/popets/popets2020.html#0001KRR20

Valerie Fetzer Max Hoffmann 0001 Matthias Nagel 0001 Andy Rupp Rebecca Schwerdt P4TC - Provably-Secure yet Practical Privacy-Preserving Toll Collection. 62-152 2020 2020 Proc. Priv. Enhancing Technol. 3 https://doi.org/10.2478/popets-2020-0046 db/journals/popets/popets2020.html#Fetzer00RS20

Nils Albartus Max Hoffmann 0001 Sebastian Temme Leonid Azriel Christof Paar DANA Universal Dataflow Analysis for Gate-Level Netlist Reverse Engineering. 309-336 2020 2020 IACR Trans. Cryptogr. Hardw. Embed. Syst. 4 https://doi.org/10.13154/tches.v2020.i4.309-336 db/journals/tches/tches2020.html#AlbartusHTAP20

Max Hoffmann 0001 Christof Paar Doppelganger Obfuscation - Exploring the Defensive and Offensive Aspects of Hardware Camouflaging. 750 2020 2020 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2020/750 db/journals/iacr/iacr2020.html#HoffmannP20

Nils Albartus Max Hoffmann 0001 Sebastian Temme Leonid Azriel Christof Paar DANA - Universal Dataflow Analysis for Gate-Level Netlist Reverse Engineering. 751 2020 2020 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2020/751 db/journals/iacr/iacr2020.html#AlbartusHTAP20

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 Max Hoffmann 0001 Michael Klooß Andy Rupp Efficient Zero-Knowledge Arguments in the Discrete Log Setting, Revisited. 2093-2110 2019 CCS https://doi.org/10.1145/3319535.3354251 conf/ccs/2019 db/conf/ccs/ccs2019.html#0001KR19 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

Max Hoffmann 0001 Christof Paar Stealthy Opaque Predicates in Hardware - Obfuscating Constant Expressions at Negligible Overhead. 2019 abs/1910.00949 CoRR http://arxiv.org/abs/1910.00949 db/journals/corr/corr1910.html#abs-1910-00949

Susanne Engels Max Hoffmann 0001 Christof Paar The End of Logic Locking? A Critical View on the Security of Logic Locking. 796 2019 2019 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2019/796 db/journals/iacr/iacr2019.html#EngelsHP19

Max Hoffmann 0001 Michael Klooß Andy Rupp Efficient zero-knowledge arguments in the discrete log setting, revisited. 944 2019 2019 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2019/944 db/journals/iacr/iacr2019.html#HoffmannKR19

Max Hoffmann 0001 Michael Klooß Markus Raiber Andy Rupp Black-Box Wallets: Fast Anonymous Two-Way Payments for Constrained Devices. 1199 2019 2019 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2019/1199 db/journals/iacr/iacr2019.html#HoffmannKRR19

Max Hoffmann 0001 Christof Paar Stealthy Opaque Predicates in Hardware - Obfuscating Constant Expressions at Negligible Overhead. 277-297 2018 2018 IACR Trans. Cryptogr. Hardw. Embed. Syst. 2 https://doi.org/10.13154/tches.v2018.i2.277-297 db/journals/tches/tches2018.html#HoffmannP18

Max Hoffmann 0001 Valerie Fetzer Matthias Nagel 0001 Andy Rupp Rebecca Schwerdt P4TC - Provably-Secure yet Practical Privacy-Preserving Toll Collection. 1106 2018 2018 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2018/1106 db/journals/iacr/iacr2018.html#HoffmannFNRS18

Gottfried Herold Max Hoffmann 0001 Michael Klooß Carla Ràfols Andy Rupp New Techniques for Structural Batch Verification in Bilinear Groups with Applications to Groth-Sahai Proofs. 1547-1564 2017 CCS https://doi.org/10.1145/3133956.3134068 conf/ccs/2017 db/conf/ccs/ccs2017.html#HeroldHKRR17 Gunnar Hartung Max Hoffmann 0001 Matthias Nagel 0001 Andy Rupp BBA+: Improving the Security and Applicability of Privacy-Preserving Point Collection. 1925-1942 2017 CCS https://doi.org/10.1145/3133956.3134071 conf/ccs/2017 db/conf/ccs/ccs2017.html#HartungH0R17

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 Leonid Azriel Steffen Becker 0003 Adrian Drees Maik Ender Susanne Engels Valerie Fetzer Marc Fyrbiak Gunnar Hartung Gottfried Herold Sebastian Hoppach Simon Klix Michael Klooß Jörn Langheinrich Sebastian Maaßen Matthias Nagel 0001 Christof Paar Carla Ràfols Markus Raiber Nikol Rummel Andy Rupp Falk Schellenberg Rebecca Schwerdt Julian Speith Pawel Swierczynski Sebastian Temme Russell Tessier René Walendy Sebastian Wallat Tobias Weidlich Carina Wiesen Matthias Wilhelm 0002