| | ROSA: Finding Backdoors with Fuzzing (binsec.github.io) |
| 1 point by matt_d on Feb 14, 2025 | past |
|
| | SSA Translation is an Abstract Interpretation [pdf] (binsec.github.io) |
| 1 point by obl on Nov 19, 2022 | past |
|
| | Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine (binsec.github.io) |
| 2 points by matt_d on March 19, 2021 | past |
|