Information flow tracking (IFT) is a fundamental computer security technique used to
understand how information moves through a computing system. Hardware IFT techniques …

Speculative execution attacks present an enormous security threat, capable of reading
arbitrary program data under malicious speculation, and later exfiltrating that data over …

Diagnosing software failures in the field is notoriously difficult, in part due to the fundamental
complexity of troubleshooting any complex software system, but further exacerbated by the …

Memory corruption vulnerabilities are the root cause of many modern attacks. Existing
defense mechanisms are inadequate; in general, the software-based approaches are not …

Information flow tracking was proposed more than 40 years ago to address the limitations of
access control mechanisms to guarantee the confidentiality and integrity of information …

Languages such as C and C++ use unsafe manual memory management, allowing simple
bugs (ie, accesses to an object after deallocation) to become the root cause of exploitable …

Optimized hardware for propagating and checking software-programmable metadata tags
can achieve low runtime overhead. We generalize prior work on hardware tagging by …

Mobile-device theft and loss have reached gigantic proportions. Despite these threats,
today's mobile devices are saturated with sensitive information due to operating systems that …

Security violations are becoming more common in real-time systems-an area that was
considered to be invulnerable in the past-as evidenced by the recent W32. Stuxnet and …

Lack of memory safety in C is the root cause of a multitude of serious bugs and security
vulnerabilities. Numerous software-only and hardware-based schemes have been proposed …