CPU cache is a limited but crucial storage component in modern processors, whereas the
cache timing side-channel may inadvertently leak information through the physically …

The timing characteristics of cache, a high-speed storage between the fast CPU and the
slow memory, may reveal sensitive information of a program, thus allowing an adversary to …

A unified modeling framework for non-functional properties of a program is essential for
research in software analysis and verification, since it reduces burdens on individual …

Cache timing attacks allow third-party observers to retrieve sensitive information from
program executions. But, is it possible to automatically check the vulnerability of a program …

Circuit-level timing speculation has been proposed as a technique to reduce dependence
on design margins and eliminating power/performance overheads. Recent work has …

In this paper, we present a novel technique for early prediction of timing violations in high-
performance pipelined microprocessors. We show that a static instruction in a …

Analyzing the behavior of a program running on a processor that supports speculative
execution is crucial for applications such as execution time estimation and side channel …

We present a framework for WCET analysis of programs with emphasis on cache micro-
architecture. Such an analysis is challenging primarily because of the timing model of a …

Software side channel attacks have become a serious concern with the recent rash of
attacks on speculative processor architectures. Most attacks that have been demonstrated …

Caches have become increasingly important with the widening gap between main memory
and processor speeds. Small and fast cache memories are designed to bridge this …