\begin{thebibliography}{1}

\providecommand{\natexlab}[1]{#1}
\providecommand{\url}[1]{\texttt{#1}}
\providecommand{\urlprefix}{URL }
\providecommand{\eprint}[2][]{\url{#2}}

\bibitem[{Focardi et~al.}(2002){Focardi, Gorrieri, Lanotte, Maggiolo-Schettini, Martinelli, Tini \& Tronci}]{Focardi_etal2002} Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, and Enrico Tronci. "Formal Models of Timing Attacks on Web Privacy." \textit{Electronic Notes in Theoretical Computer Science} 62 (2002): 229--243. Notes: TOSCA 2001, Theory of Concurrency, Higher Order Languages and Types. DOI: 10.1016/S1571-0661(04)00329-9.

\end{thebibliography}

