Towards robust instruction-level trace alignment of binary code
Scalable Graph-based Bug Search for Firmware Images