Data confidentiality is a central concern in modern computer systems and services, as
sensitive data from users and companies are being increasingly delegated to such systems …

Modern software is continuously patched to fix bugs and security vulnerabilities. Patching is
particularly important in robotic vehicles (RVs), in which safety and security bugs can cause …

Runtime software patching aims to minimize or eliminate service downtime, user
interruptions and potential data losses while deploying a patch. Due to modern software …

A hot fix is an improvement to a specific time-critical issue deployed to a software system in
production. While hot fixing is an essential and common activity in software maintenance, it …

Many IoT devices are geographically distributed without human administrators, which are
maintained by a remote server to enforce security updates, ideally through machine-to …

With our reliance on software continuously increasing, it is of utmost importance that it be
reliable. However, complete prevention of bugs in live systems is unfortunately an …

SGX enclaves prevent external software from accessing their memory. This feature conflicts
with legitimate needs for enclave memory introspection, eg, runtime stack collection on an …

Trusted computing defines how to securely measure, store, and verify the integrity of
software controlling a computer. One of the major challenge that make them hard to be …

Linux-based hypervisors in the cloud server suffer from an increasing number of
vulnerabilities in the Linux kernel. To address these vulnerabilities in a timely manner while …

AI&IoT edge devices run complex applications and are under the threat of stealthy attacks
that are not easily detected by traditional security systems. Provenance auditing is a …