@misc{indiciaec3c42ea1c76a,
  title = {Quantifying Timing Leaks and Cost Optimisation},
  author = {Alessandra Di Pierro and Chris Hankin and Herbert Wiklicky},
  year = {2008},
  url = {https://arxiv.org/abs/0807.3879},
  note = {Source identifier: 0807.3879}
}