research
∙
02/15/2021
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine
Inline assembly is still a common practice in low-level C programming, t...
share
research
∙
02/09/2021
AI-based Blackbox Code Deobfuscation: Understand, Improve and Mitigate
Code obfuscation aims at protecting Intellectual Property and other secr...
research
∙
02/25/2020
Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities
Directed fuzzing focuses on automatically testing specific parts of the ...
research
∙
08/05/2019
How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections
Code obfuscation is a major tool for protecting software intellectual pr...
research
∙
03/15/2019
Get rid of inline assembly through trustable verification-oriented lifting
Formal methods for software development have made great strides in the l...
research
∙
02/15/2018