Quantifying timing leaks and cost optimisation (2008)
by
Ra Di Pierro
,
Chris Hankin
,
Herbert Wiklicky
| Venue: | In Proc. ICICS ’08, volume 5308 of LNCS |
| Citations: | 5 - 1 self |
BibTeX
@INPROCEEDINGS{Pierro08quantifyingtiming,
author = {Ra Di Pierro and Chris Hankin and Herbert Wiklicky},
title = {Quantifying timing leaks and cost optimisation},
booktitle = {In Proc. ICICS ’08, volume 5308 of LNCS},
year = {2008},
pages = {81--96},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. 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 low variables. We then show how to measure the security of a program with respect to this notion via a computable estimate of the timing leakage and use this estimate for cost optimisation. 1
