Preventing Side-Channel Leaks in Web Traffic: A Formal Approach. | Publicación