Intel Software Guard eXtension (SGX), a hardware supported trusted execution environment
(TEE), is designed to protect security critical applications. However, it does not terminate …

Memory corruption attacks against unsafe programming languages like C/C++ have been a
major threat to computer systems for multiple decades. Various sanitizers and runtime …

Programmers maintain and evolve their software in a variety of programming languages to
take advantage of various control/data abstractions and legacy libraries. The programming …

JavaScript, like many high-level languages, relies on runtime systemswritten in low-level C
and C++. For example, the Node. js runtime systemgives JavaScript code access to the …

We present a multi-lingual type inference system for checking type safety across a foreign
function interface. The goal of our system is to prevent foreign function calls from introducing …

It is well known that the use of native methods in Java defeats Java's guarantees of safety
and security, which is why the default policy of Java applets, for example, does not allow …

Nowadays, modern applications are developed using components written in different
programming languages and technologies. The cost benefits of reuse and the advantages of …

Software flaws in native methods may defeat Java's guarantees of safety and security. One
common kind of flaws in native methods results from the discrepancy on how exceptions are …

Java applications often need to incorporate native-code components for efficiency and for
reusing legacy code. However, it is well known that the use of native code defeats Java's …

Java Native Interface (JNI) provides a way for Java applications to access native libraries,
but it is difficult to develop correct JNI programs. By leveraging native code, the JNI enables …