The C and C++ programming languages are notoriously insecure yet remain indispensable.
Developers therefore resort to a multi-pronged approach to find security issues before …

Machine learning and its promising branch deep learning have proven to be effective in a
wide range of application domains. Recently, several efforts have shown success in …

Memory safety violations, caused by illegal use of pointers in unsafe programming
languages such as C and C++, have been a major threat to modern computer systems …

A memory safety violation occurs when a program has an out-of-bound (spatial safety) or
use-after-free (temporal safety) memory access. Given its importance as a security …

Modern software systems make extensive use of libraries derived from C and C++. Because
of the lack of memory safety in these languages, however, the libraries may suffer from …

Memory safety continues to be a significant software reliability and security problem, and low
overhead and low complexity hardware solutions have eluded computer designers. In this …

Programming languages like C and C++ are not memory-safe because they provide
programmers with low-level pointer manipulation primitives. The incorrect use of these …

Type confusion occurs when C or C++ code accesses an object after casting it to an
incompatible type. The security impacts of type confusion vulnerabilities are significant …

Recent rapid strides in memory safety tools and hardware have improved software quality
and security. While coarse-grained memory safety has improved, achieving memory safety …

We tackle the problem of checking non-proof-carrying code, ie automatically proving type-
safety (implying in our type system spatial memory safety) of low-level C code or of machine …