@conference{bdk13, author = "Michael Backes and Goran Doychev and Boris K{\"o}pf", booktitle = "Proc. 20th Network and Distributed Systems Security Symposium (NDSS), to appear", note = "PROJECT: NESSOS, DESAFIOS 10, AMAROUT PARTNER: IMDEA TIER: A CITE(03/03/2014):3", publisher = "Internet Society", title = "{P}reventing {S}ide-{C}hannel {L}eaks in {W}eb {T}raffic: {A} {F}ormal {A}pproach", year = "2013", }