Constrained Optimization with Dynamic Bound-scaling for Effective NLP Backdoor Defense. | 0 | 0.34 | 2022 |
TensileFuzz: Facilitating Seed Input Generation in Fuzzing via String Constraint Solving | 0 | 0.34 | 2022 |
StochFuzz: Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting | 2 | 0.36 | 2021 |
OSPREY: Recovery of Variable and Data Structure via Probabilistic Analysis for Stripped Binary | 0 | 0.34 | 2021 |
PMP: Cost-effective Forced Execution with Probabilistic Memory Pre-planning | 0 | 0.34 | 2020 |
BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation | 0 | 0.34 | 2019 |
Probabilistic disassembly | 2 | 0.38 | 2019 |