Login / Signup
Max Hoffmann
ORCID
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 25
Top Topics
Formal Proofs
Dynamic Analysis
Standard Pc
Reverse Engineer
Top Venues
IACR Cryptol. ePrint Arch.
CoRR
IACR Trans. Cryptogr. Hardw. Embed. Syst.
CCS
</>
Publications
</>
Susanne Engels
,
Max Hoffmann
,
Christof Paar
A critical view on the real-world security of logic locking.
J. Cryptogr. Eng.
12 (3) (2022)
Max Hoffmann
,
Falk Schellenberg
,
Christof Paar
ARMORY: Fully Automated and Exhaustive Fault Simulation on ARM-M Binaries.
IEEE Trans. Inf. Forensics Secur.
16 (2021)
Max Hoffmann
,
Christof Paar
Doppelganger Obfuscation - Exploring theDefensive and Offensive Aspects of Hardware Camouflaging.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
2021 (1) (2021)
Max Hoffmann
,
Falk Schellenberg
,
Christof Paar
ARMORY: Fully Automated and Exhaustive Fault Simulation on ARM-M Binaries.
CoRR
(2021)
Nils Albartus
,
Max Hoffmann
,
Sebastian Temme
,
Leonid Azriel
,
Christof Paar
DANA Universal Dataflow Analysis for Gate-Level Netlist Reverse Engineering.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
2020 (4) (2020)
Nils Albartus
,
Max Hoffmann
,
Sebastian Temme
,
Leonid Azriel
,
Christof Paar
DANA - Universal Dataflow Analysis for Gate-Level Netlist Reverse Engineering.
IACR Cryptol. ePrint Arch.
2020 (2020)
Valerie Fetzer
,
Max Hoffmann
,
Matthias Nagel
,
Andy Rupp
,
Rebecca Schwerdt
P4TC - Provably-Secure yet Practical Privacy-Preserving Toll Collection.
Proc. Priv. Enhancing Technol.
2020 (3) (2020)
Max Hoffmann
,
Christof Paar
Doppelganger Obfuscation - Exploring the Defensive and Offensive Aspects of Hardware Camouflaging.
IACR Cryptol. ePrint Arch.
2020 (2020)
Max Hoffmann
,
Michael Klooß
,
Markus Raiber
,
Andy Rupp
Black-Box Wallets: Fast Anonymous Two-Way Payments for Constrained Devices.
Proc. Priv. Enhancing Technol.
2020 (1) (2020)
Carina Wiesen
,
Nils Albartus
,
Max Hoffmann
,
Steffen Becker
,
Sebastian Wallat
,
Marc Fyrbiak
,
Nikol Rummel
,
Christof Paar
Towards cognitive obfuscation: impeding hardware reverse engineering based on psychological insights.
ASP-DAC
(2019)
Sebastian Wallat
,
Nils Albartus
,
Steffen Becker
,
Max Hoffmann
,
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.
CoRR
(2019)
Max Hoffmann
,
Michael Klooß
,
Andy Rupp
Efficient zero-knowledge arguments in the discrete log setting, revisited.
IACR Cryptol. ePrint Arch.
2019 (2019)
Max Hoffmann
,
Christof Paar
Stealthy Opaque Predicates in Hardware - Obfuscating Constant Expressions at Negligible Overhead.
CoRR
(2019)
Max Hoffmann
,
Michael Klooß
,
Andy Rupp
Efficient Zero-Knowledge Arguments in the Discrete Log Setting, Revisited.
CCS
(2019)
Max Hoffmann
,
Michael Klooß
,
Markus Raiber
,
Andy Rupp
Black-Box Wallets: Fast Anonymous Two-Way Payments for Constrained Devices.
IACR Cryptol. ePrint Arch.
2019 (2019)
Carina Wiesen
,
Nils Albartus
,
Max Hoffmann
,
Steffen Becker
,
Sebastian Wallat
,
Marc Fyrbiak
,
Nikol Rummel
,
Christof Paar
Towards Cognitive Obfuscation: Impeding Hardware Reverse Engineering Based on Psychological Insights.
CoRR
(2019)
Marc Fyrbiak
,
Sebastian Wallat
,
Pawel Swierczynski
,
Max Hoffmann
,
Sebastian Hoppach
,
Matthias Wilhelm
,
Tobias Weidlich
,
Russell Tessier
,
Christof Paar
HAL - The Missing Piece of the Puzzle for Hardware Reverse Engineering, Trojan Detection and Insertion.
IEEE Trans. Dependable Secur. Comput.
16 (3) (2019)
Sebastian Wallat
,
Nils Albartus
,
Steffen Becker
,
Max Hoffmann
,
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.
CF
(2019)
Susanne Engels
,
Max Hoffmann
,
Christof Paar
The End of Logic Locking? A Critical View on the Security of Logic Locking.
IACR Cryptol. ePrint Arch.
2019 (2019)
Max Hoffmann
,
Christof Paar
Stealthy Opaque Predicates in Hardware - Obfuscating Constant Expressions at Negligible Overhead.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
2018 (2) (2018)
Max Hoffmann
,
Valerie Fetzer
,
Matthias Nagel
,
Andy Rupp
,
Rebecca Schwerdt
P4TC - Provably-Secure yet Practical Privacy-Preserving Toll Collection.
IACR Cryptol. ePrint Arch.
2018 (2018)
Marc Fyrbiak
,
Sebastian Wallat
,
Pawel Swierczynski
,
Max Hoffmann
,
Sebastian Hoppach
,
Matthias Wilhelm
,
Tobias Weidlich
,
Russell Tessier
,
Christof Paar
HAL- The Missing Piece of the Puzzle for Hardware Reverse Engineering, Trojan Detection and Insertion.
IACR Cryptol. ePrint Arch.
2017 (2017)
Gottfried Herold
,
Max Hoffmann
,
Michael Klooß
,
Carla Ràfols
,
Andy Rupp
New Techniques for Structural Batch Verification in Bilinear Groups with Applications to Groth-Sahai Proofs.
IACR Cryptol. ePrint Arch.
2017 (2017)
Gottfried Herold
,
Max Hoffmann
,
Michael Klooß
,
Carla Ràfols
,
Andy Rupp
New Techniques for Structural Batch Verification in Bilinear Groups with Applications to Groth-Sahai Proofs.
CCS
(2017)
Gunnar Hartung
,
Max Hoffmann
,
Matthias Nagel
,
Andy Rupp
BBA+: Improving the Security and Applicability of Privacy-Preserving Point Collection.
CCS
(2017)