Yufei Jiang

Latest

• [USENIX Security '17] BinSim: Trace-based Semantic Binary Diffing via System Call Sliced Segment Equivalence Checking
• [Euro S&P '16] Translingual Obfuscation