TY - RPRT TI - Plugging Side-Channel Leaks with Timing Information Flow Control AU - Bryan Ford PY - 2012 UR - https://arxiv.org/abs/1203.3428 ID - 1203.3428 ER -