Linked Presentation: BinSim: Trace-based Semantic Binary Diffing via System Call Sliced Segment Equivalence Checking
