1.3k citations · 2.7k across the 38 of their papers we have counts for
9 papers · 1 filter
Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity
Kexin Pei, Zhou Xuan, Junfeng Yang +2
Detecting semantically similar functions -- a crucial analysis capability with broad real-world security usages including vulnerability detection, malware lineage, and forensics --…
XDA: Accurate, Robust Disassembly with Transfer Learning
Kexin Pei, Jonas Guan, David Williams-King +2
Accurate and robust disassembly of stripped binaries is challenging. The root of the difficulty is that high-level structures, such as instruction and function boundaries, are abse…
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers
Kaidi Xu, Huan Zhang, Shiqi Wang +4
Formal verification of neural networks (NNs) is a challenging and important problem. Existing efficient complete solvers typically require the branch-and-bound (BaB) process, which…
Ensuring Fairness Beyond the Training Data
Debmalya Mandal, Samuel Deng, Suman Jana +2
We initiate the study of fair classifiers that are robust to perturbations in the training distribution. Despite recent progress, the literature on fairness has largely ignored the…
Towards Understanding Fast Adversarial Training
Bai Li, Shiqi Wang, Suman Jana +1
Current neural-network-based classifiers are susceptible to adversarial examples. The most empirically successful approach to defending against such adversarial examples is adversa…
MTFuzz: Fuzzing with a Multi-Task Neural Network
Dongdong She, Rahul Krishna, Lu Yan +2
Fuzzing is a widely used technique for detecting software bugs and vulnerabilities. Most popular fuzzers generate new inputs using an evolutionary search to maximize code coverage.…
Towards Practical Lottery Ticket Hypothesis for Adversarial Training
Bai Li, Shiqi Wang, Yunhan Jia +4
Recent research has proposed the lottery ticket hypothesis, suggesting that for a deep neural network, there exist trainable sub-networks performing equally or better than the orig…
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks (Extended Version)
Jianan Yao, Gabriel Ryan, Justin Wong +2
Verifying real-world programs often requires inferring loop invariants with nonlinear constraints. This is especially true in programs that perform many numerical operations, such…
HYDRA: Pruning Adversarially Robust Neural Networks
Vikash Sehwag, Shiqi Wang, Prateek Mittal +1
In safety-critical but computationally resource-constrained applications, deep learning faces two key challenges: lack of robustness against adversarial attacks and large neural ne…