TY - RPRT TI - Quantifying Timing Leaks and Cost Optimisation AU - Alessandra Di Pierro AU - Chris Hankin AU - Herbert Wiklicky PY - 2008 UR - https://arxiv.org/abs/0807.3879 ID - 0807.3879 ER -