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
∙
11/30/2020
No Crash, No Exploit: Automated Verification of Embedded Kernels
The kernel is the most safety- and security-critical component of many c...
research
∙
03/19/2020
Automatically Proving Microkernels Free from Privilege Escalation from their Executable
Operating system kernels are the security keystone of most computer syst...
research
∙
02/25/2020
Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities
Directed fuzzing focuses on automatically testing specific parts of the ...
research
∙
12/28/2017
Abstract Interpretation using a Language of Symbolic Approximation
The traditional abstract domain framework for imperative programs suffer...
research
∙
10/27/2010