Over the last few years, healthcare administrations have been digitizing their provision of
care that led to an increased number of networked medical devices and medical telemetry …

Embedded software is used in safety-critical systems such as medical devices and
autonomous vehicles, where software defects, including security vulnerabilities, have severe …

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 …

Memory-safety violations are the primary cause of security and reliability issues in software
systems written in unsafe languages. Given the limited adoption of decades-long research in …

Memory safety is a key security property that stops memory corruption vulnerabilities.
Different types of memory safety enforcement solutions have been proposed and adopted by …

Shielded execution based on Intel SGX provides strong security guarantees for legacy
applications running on untrusted platforms. However, memory safety attacks such as …

Rust is a programming language that simultaneously offers high performance and strong
security guarantees. Safe Rust (ie, Rust code that does not use the unsafe keyword) is …

Static binary rewriting has many important applications in software security and systems,
such as hardening, repair, patching, instrumentation, and debugging. While many different …

Object bounds overflow errors are a common source of security vulnerabilities. In principle,
bounds check instrumentation eliminates the problem, but this introduces high overheads …

Low-level programming languages with weak/static type systems, such as C and C++, are
vulnerable to errors relating to the misuse of memory at runtime, such as (sub-) object …