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

Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they
propagate during program execution. DFT has been repeatedly implemented by a variety of …

Deterministic replay systems record and reproduce the execution of a hardware or software
system. In contrast to replaying execution on uniprocessors, deterministic replay on …

Analyzing the behavior of running programs has a wide variety of compelling applications,
from intrusion detection and prevention to bug discovery. Unfortunately, the high runtime …

Deterministic replay systems record and reproduce the execution of a hardware or software
system. While it is well known how to replay uniprocessor systems, replaying shared …

The vast majority of state produced by a typical computer is generated, consumed, then lost
forever. We argue that a computer system should instead provide the ability to recall any …

Dynamic information flow tracking (DIFT) has been proven an effective technique to track
data usage; prevent control data attacks and non-control data attacks at runtime; and …

Taint analysis has a wide variety of compelling applications in security tasks, from software
attack detection to data lifetime analysis. Static taint analysis propagates taint values …

In contrast to traditional computing systems, such as desktops and servers, that are
programmed to perform “compute-bound” and “run-to-completion” tasks, mobile applications …

Applications must be able to synchronize accesses to operating system resources in order to
ensure correctness in the face of concurrency and system failures. System transactions …