research
∙
08/29/2023
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model
Binary similarity analysis determines if two binary executables are from...
share
research
∙
05/22/2023
Extracting Protocol Format as State Machine via Controlled Static Loop Analysis
Reverse engineering of protocol message formats is critical for many sec...
research
∙
05/19/2023
Lifting Network Protocol Implementation to Precise Format Specification with Security Applications
Inferring protocol formats is critical for many security applications. H...
research
∙
09/16/2021
Efficient Path-Sensitive Data-Dependence Analysis
This paper presents a scalable path- and context-sensitive data-dependen...
research
∙
09/03/2021
Indexing Context-Sensitive Reachability
Many context-sensitive data flow analyses can be formulated as a variant...
research
∙
12/14/2019
Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
With an increasing number of value-flow properties to check, existing st...
research
∙
06/03/2019
NeuralVis: Visualizing and Interpreting Deep Learning Models
Deep Neural Network(DNN) techniques have been prevalent in software engi...
research
∙
03/02/2019
