Linked Presentation: Finding Traceability Attacks in the Bluetooth Low Energy Specification and Its ImplementationsSAIN: Improving ICS Attack Detection Sensitivity via State-Aware Invariants
