research
∙
05/28/2021
ARMORY: Fully Automated and Exhaustive Fault Simulation on ARM-M Binaries
Embedded systems are ubiquitous. However, physical access of users and l...
share
research
∙
10/01/2019
Stealthy Opaque Predicates in Hardware – Obfuscating Constant Expressions at Negligible Overhead
Opaque predicates are a well-established fundamental building block for ...
research
∙
10/01/2019
Highway to HAL: Open-Sourcing the First Extendable Gate-Level Netlist Reverse Engineering Framework
Since hardware oftentimes serves as the root of trust in our modern inte...
research
∙
10/01/2019