TY  - RPRT
TI  - Slot Games for Detecting Timing Leaks of Programs
AU  - Aleksandar S. Dimovski
PY  - 2013
DO  - 10.4204/eptcs.119.15
UR  - https://arxiv.org/abs/1307.4475
ID  - 1307.4475
ER  -