23 citations · 33 across the 5 of their papers we have counts for
5 papers
HAL -- An Open-Source Framework for Gate-Level Netlist Analysis
Julian Speith, Jörn Langheinrich, Marc Fyrbiak +7
HAL is an open-source framework for gate-level netlist analysis, an integral step in hardware reverse engineering. It provides analysts with an interactive GUI, an extensible plugi…
ARMORY: Fully Automated and Exhaustive Fault Simulation on ARM-M Binaries
Max Hoffmann, Falk Schellenberg, Christof Paar
Embedded systems are ubiquitous. However, physical access of users and likewise attackers makes them often threatened by fault attacks: a single fault during the computation of a c…
Stealthy Opaque Predicates in Hardware -- Obfuscating Constant Expressions at Negligible Overhead
Max Hoffmann, Christof Paar
Opaque predicates are a well-established fundamental building block for software obfuscation. Simplified, an opaque predicate implements an expression that provides constant Boolea…
Highway to HAL: Open-Sourcing the First Extendable Gate-Level Netlist Reverse Engineering Framework
Sebastian Wallat, Nils Albartus, Steffen Becker +6
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 Inte…
Towards Cognitive Obfuscation: Impeding Hardware Reverse Engineering Based on Psychological Insights
Carina Wiesen, Nils Albartus, Max Hoffmann +5
In contrast to software reverse engineering, there are hardly any tools available that support hardware reversing. Therefore, the reversing process is conducted by human analysts c…