Linked Presentation: D-Helix: A Generic Decompiler Testing Framework Using Symbolic DifferentiationSAIN: Improving ICS Attack Detection Sensitivity via State-Aware Invariants
