Quantifying Timing Leaks and Cost Optimisation

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

We develop a new notion of security against timing attacks where the attacker is able to simultaneously observe the execution time of a program and the probability of the values of…