The ability to record and replay program executions with low overhead enables many
applications, such as reverse-execution debugging, debugging of hard-to reproduce test …

Investigating attacks across multiple hosts is challenging. The true dependencies between
security-sensitive files, network endpoints, or memory objects from different hosts can be …

Cache-based covert channel attacks use highly-tuned shared-cache conflict misses to pass
information from a trojan to a spy process. Detecting such attacks is very challenging. State …

Modern applications include many sources of nondeterminism, eg due to concurrency,
signals, and system calls that interact with the external environment. Finding and …

State-machine replication protocols represent the foundation of many fault-tolerant services.
Unfortunately, their inherent complexity makes existing implementations notoriously difficult …

The ability to record and replay program executions with low overhead enables many
applications, such as reverse-execution debugging, debugging of hard-to-reproduce test …

Hardware security features need to strike a careful balance between design intrusiveness
and completeness of methods. In addition, they need to be flexible, as security threats …

Gathering detailed run-time information such as memory access traces in operating system
and security research often involves functional full system simulation (FFSS). The simulator …

We investigate the problem of getting hints on the effects of virtualization system (aka
hypervisor) updates impact on virtual machines (VMs). System administrators can be …

Time-traveling debuggers offer the promise of simplifying debugging by letting developers
freely step forwards and backwards through a program's execution. However, web …