Vincent Cheval, Véronique Cortier: Timing Attacks in Security Protocols: Symbolic Framework and Proof Techniques. POST 2015: 280-299