[USENIX Security '17] BinSim: Trace-based Semantic Binary Diffing via System Call Sliced Segment Equivalence Checking
Aug 16, 2017
[S&P '17] Cryptographic Function Detection in Obfuscated Binaries via Bit-precise Symbolic Loop Mapping
🏅 CSAW 2017 Best Applied Security Paper Award TOP-10 Finalists
May 22, 2017
[ASE '16] StraightTaint: Decoupled Offline Symbolic Taint Analysis
Sep 5, 2016
[CCS '15] LOOP: Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code
Oct 15, 2015
[USENIX Security '15] TaintPipe: Pipelined Symbolic Taint Analysis
Aug 12, 2015
[FSE '14] Semantics-Based Obfuscation-Resilient Binary Code Similarity Comparison with Applications to Software Plagiarism Detection
Nov 16, 2014
An example conference paper
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Duis posuere tellus ac convallis placerat. Proin tincidunt magna sed ex sollicitudin condimentum.
Jul 1, 2013