Linked Presentation: D-Helix: A Generic Decompiler Testing Framework Using Symbolic DifferentiationFinding Traceability Attacks in the Bluetooth Low Energy Specification and Its Implementations
