\documentclass[review]{elsarticle}

\usepackage{lineno}
\modulolinenumbers[5]

\usepackage{hyperref}

\journal{Theoretical Computer Science}

%%%%%%%%%%%%%%%%%%%%%%%
%% Elsevier bibliography styles
%%%%%%%%%%%%%%%%%%%%%%%
%% To change the style, put a % in front of the second line of the current style and
%% remove the % from the second line of the style you would like to use.
%%%%%%%%%%%%%%%%%%%%%%%

%% Numbered
%\bibliographystyle{model1-num-names}

%% Numbered without titles
%\bibliographystyle{model1a-num-names}

%% Harvard
%\bibliographystyle{model2-names.bst}\biboptions{authoryear}

%% Vancouver numbered
%\usepackage{numcompress}\bibliographystyle{model3-num-names}

%% Vancouver name/year
%\usepackage{numcompress}\bibliographystyle{model4-names}\biboptions{authoryear}

%% APA style
%\bibliographystyle{model5-names}\biboptions{authoryear}

%% AMA style
%\usepackage{numcompress}\bibliographystyle{model6-num-names}


% This was the default in the template, but you need a bibtex file for it.
% We will provide one if we need. As of now, we use the references that were
% generated with revtex in the PRA style.
%% `Elsevier LaTeX' style
% \bibliographystyle{elsarticle-num}
%%%%%%%%%%%%%%%%%%%%%%%

\begin{document}

\begin{frontmatter}

\title{The black paper of quantum cryptography: real implementation problems}

%% Group authors per affiliation:
\author[cqt]{Valerio Scarani\corref{cor1}}
\ead{valerio.scarani@gmail.com}

\author[cqt]{Christian Kurtsiefer}
\ead{christian.kurtsiefer@gmail.com}

\cortext[cor1]{Corresponding Author}

\address[cqt]{Centre for Quantum Technologies \& Department of Physics,
National University of Singapore, 3 Science Drive 2, Singapore 117543,
Singapore}


\begin{abstract}
The laws of physics play a crucial role in the security of quantum key distribution (QKD). This fact has often been misunderstood as if the security of QKD would be based \textit{only} on the laws of physics. As the experts know well, things are more subtle. We review the progresses in practical QKD focusing on (I) the elements of trust that are common to classical and quantum implementations of key distribution; and (II) some threats to security that have been highlighted recently, none of which is unredeemable (i.e., in principle QKD can be made secure). This leads us to guess that the field, similar to non-quantum modern cryptography, is going to split in two directions: those who pursue practical devices may have to moderate their security claims; those who pursue ultimate security may have to suspend their claims of usefulness.
\end{abstract}

% \begin{keyword}
% Some key words
% \end{keyword}

\end{frontmatter}

\linenumbers

\section{Introduction}

In their seminal 1984 paper \cite{bb84}, Bennett and Brassard argued that some basic laws of physics may prove useful in cryptographic tasks. They considered first the task of \textit{key distribution} between distant partners and noticed that quantum signals are ideal trusted couriers: if the eavesdropper Eve tries to obtain some information, her action cannot remain concealed, because measurement modifies the state or, equivalently, because of the no-cloning theorem. In the second part of their paper, they turned to the task of bit-commitment and proposed a quantum solution relying on entanglement. In 1991, Ekert independently re-discovered quantum key distribution \cite{eke91}: his intuition was based on entanglement, more specifically on Bell's inequalities. These two works are the milestones of the field, even if precursors for these ideas had been brought up \cite{wiesner}.

The fact that security is based on physical laws lead to the hope that quantum cryptography may provide the highest possible level of security, namely security against an adversary with unrestricted computational power; in the jargon, \textit{unconditional security}. Further research vindicated only one of the two conjectures of Bennett and Brassard: key distribution can indeed be made unconditionally secure \cite{may96,lo99b,sho00}, while bit commitment cannot \cite{bitcom}. Most of the subsequent developments in quantum cryptography have therefore been devoted to \textit{quantum key distribution (QKD)}; several review papers are available \cite{gis02,dus06,sca08,lo08}.

\section{Quantum signals as incorruptible couriers}

Even before unconditional security was technically proved, \textit{``security based on the laws of physics''} became the selling slogan of QKD. It's catchy, and it can be understood correctly --- but it may also be understood wrongly and has often been explicitly spelled out as ``security based \textit{only} on the laws of physics''. Of course, a pause of reflection shows that the statement cannot possibly be as strong as that. For instance, the laws of physics do not prevent someone from reading the outcomes of a detector; however, if the adversary has access to that information, security is clearly compromised! But many people were just carried away by the power of the slogan --- fair enough, this does not happen only with QKD.

On the wings of enthusiasm, some promoters of QKD also managed to convey the impression that they were presenting \textit{the solution for (almost) every task of secret communication}. This may have impressed some sponsors. However, the main result was to alienate a great part of the community of experts in classical cryptography, who, unfamiliar with quantum physics though they may be, could not fail to spot the overstatement. Fortunately, several experts of QKD, well aware of the real scope of their research, managed to re-establish a constructive dialog. Both the interest and the niche character of QKD are generally admitted today.

In fact, the understanding of the niche character of QKD immediately clarifies the role of the laws of physics as well. The \textit{SECOQC White Paper} of 2007 \cite{all07} convincingly argued that \textit{QKD is a form of ``trusted courier''} i.e. a potential solution for those tasks, for which a trusted courier may be useful. For instance, if one can guarantee that a one-time pad key has not been revealed during its exchange, then the secret is guaranteed also in the future: this is an advantage over complexity-based schemes \cite{biham}. Now, with human couriers, we are fairly familiar. Suppose Alice creates a one-time pad key on her computer, burn it on a DVD and entrust to a human courier Charlie the task of bringing it to Bob. Alice should be confident that
\begin{itemize}
\item[(i)] her computer and Bob's are not leaking information, by themselves of through active hacking;
\item[(ii)] Charlie is honest at the moment of receiving the key from Alice;
\item[(iii)] During his travel from Alice to Bob, Charlie will neither be corrupted nor let information leak out inadvertently.
\end{itemize}
Replacing Charlie \textit{with quantum couriers, one does not have to worry about (iii) anymore: the laws of physics guarantee it; but they don't guarantee (i) and (ii)}. Indeed, it's pretty obvious that (i) must be enforced also for QKD. As for (ii), a ``dishonest'' quantum courier would be a quantum signal whose state has not been accurately characterized.

Still, one may think that the danger of (i) and (ii) does not extend beyond caricature examples: ``Sure enough, if Eve can see Alice through a window...; sure enough, if the source produces always two photons instead of one... But one can easily check for such blunders''. Unfortunately, exactly the opposite is the case: blunders affecting the security through failures of (i) or (ii) may be numerous and very subtle; most of the recent developments in practical QKD have to do with those concerns, as we are going to show in the next Section.

Before that, we want to stress an important, though quite obvious, issue: in this paper, we review the development of practical QKD. However, since assumptions (i) and (ii) are common for quantum and classical couriers, classical implementations must be checked as well for similar blunders. In other words, we are by no means implying that QKD would be more problematic than classical cryptography. In fact, QKD does have an advantage over classical methods, namely (iii).

\section{All that the laws of physics don't take care of}
\label{sec2}

\subsection{Problems at preparation}

We begin by examining the need for a careful assessment of the properties of the courier. Here is a list of examples. Note that most of them refer to implementations with weak coherent pulses: probably not because they are much worse than others, but because they have been scrutinized more thoroughly.

\begin{enumerate}
\item \textit{Problem:} attenuated laser pulses are not single photons, multi-photon components are important \cite{pns}. \textit{Solutions:} adapt the security proofs to take the effect into account \cite{gllp}, or change the protocol \cite{decoy,sarg} or of course change the source.

\item \textit{Problem:} successive pulses emitted by a laser are generally not independent, they may have phase coherence \cite{lopresk}. \textit{Solution:} adapt the security proofs (not done at the moment of writing) or actively randomize the phase.

\item \textit{Problem:} in the so-called ``plug-and-play'' implementations (the ones chosen for several commercial setups), photons do a round trip: Alice's device must receive light, code it and resend it \cite{muller}. But then, one must assume that the photons that enter Alice's lab might have been prepared by Eve \cite{gis06}. \textit{Solution:} add attenuation and active phase randomization, then use a suitable security proof \cite{zha08}.

\item \textit{Problem:} in continuous-variables QKD, if the local oscillator travels between Alice and Bob, the implementation is completely insecure unless Bob monitors the intensity \cite{hae08}. \textit{Solution:} add a beam-splitter and monitor the intensity.

\item \textit{Problem:} in some implementations, the different letters of the QKD alphabet are prepared by different light sources \cite{fourdiodes}. Each source may have its own fingerprint: for instance, even if coding is supposed to be in polarization, different sources may have different spectra. Also, minor initial or temperature-dependent differences in the electric driving circuitry of each source may go undetected in normal operation or assembly of the setup, but certainly leave a temporal fingerprint in the transmitted signal. \textit{Solution:} no miracle solution exists, one has to characterize the sources and bound the possible leakage of information.

\end{enumerate}

\subsection{Problems at detection}

Let us now review some examples of the problems at the level of detection. One such problem (admittedly, an anecdotal one) was stressed in the very first demonstration experiment presented by Bennett and coworkers \cite{benexp92}: the Pockels cells used to select the bases were driven by high-voltage devices, which made an audible sound depending on the basis or letter selection. Someone said that the device provided ``unconditional security against a deaf eavesdropper'': a joke... or a prophetic insight in the fate of practical QKD?

\begin{enumerate}
\item \textit{Problem:} an example of leakage of classical information explores parasitic properties of detectors. It is known that, upon detection, Silicon avalanche photodetectors emit light due to hot carrier recombination. This light may leak out through the optical channel, revealing which detector has fired~\cite{kurtsiefer:01a}. \textit{Solution:} other photo-diodes have been tested and no such back-flashing was detected (of course, these studies rely on the assumption that the devices used to probe for such radiation capture any sensibly accessible wavelength range).

\item \textit{Problem:} in ``plug-and-play'' systems, as mentioned, Alice's device is open to receive photons, before coding and resending them. The eavesdropper may implement a \textit{Trojan horse attack} to probe Alice's phase modulator: send in light (say at a different wavelength) and collect it back, coded. \textit{Solution:} because the setup involves attenuators, the additional light that is sent in should be quite intense; a proportional detector is then added at the entrance of the setup, which should detect unusually strong signals \cite{ribordy98}. 


\item \textit{Problem:} light fields ('faked states') can be generated which force at least some of the common detectors to produce outcomes resembling those corresponding to the detection of single photons~\cite{makarov:05}. This may be exploited to implement something similar to a man-in-the-middle attack. \textit{Solution:} depends on the details of the implementation.

\item \textit{Problem:} photodetectors may also be manipulated to change their timing behaviour~\cite{makarov:06}, such that the detection time is partly correlated with the detection outcome. An experimental evaluation of this leakage channel became known as the time-shift attack~\cite{zhao08}. \textit{Solution:} check that all the detectors have the same timing statistics.

\item \textit{Problem:} in a similar fashion, communication of detection times (necessary in any scenario with a lossy communication channel) with a too high accuracy may reveal substantial information about the measurement results,  just due imbalanced electronic delays and/or detector parameter scatter \cite{lamas:07}. \textit{Solution:} do not reveal too many digits of your detection times.
\end{enumerate}


\subsection{A balance}

Just as in every field, there have been sheer mistakes in practical QKD: using an inadequate security bound (see below), neglecting to authenticate the classical channel, and the like. The problems reviewed above, however, do not belong to that category: each of them has been the object of a \textit{real discovery}.

The positive side of it all is that, once identified, each of those problems can be solved: thanks to these discoveries, the security of implementations has increased over the years. Another good piece of news is that, in spite of serious scrutinizing, there is no hint of a threat that would compromise the security of QKD in an irredeemable way. But there is a negative side to it: before being identified, each of the problems above represented a serious potential breach of security. It is a truism to stress that we may not be aware of similar problems, which have not been discovered yet.

We come to the bottom line of this section. We believe that this state of affairs cannot be simply dismissed with a ``there have been examples of \textit{bad design} of the device''. At any stage of development, the devices were actually carefully designed; the security claims of the authors were accepted as valid by referees and colleagues. Neither now, nor at any later time, will one be able to guarantee that the devices in use are provably good. And it is certainly not a good idea to close one's eyes, invoke the laws of physics and dump on them a responsibility they cannot possibly bear.

\subsection{On the use of security proofs}

We conclude this section with yet another series of concerns. Suppose for a moment that all the possible issues related to the implementation are under control. Can one finally rest in peace and trust the laws of physics? In principle one can, \textit{provided} all the assumptions, under which the security bounds were derived, are fulfilled by the implementation. Indeed, another dangerous shortcut consists in associating ``unconditional security'' with ``no assumptions'': no assumptions should be made on the power of the eavesdropper, but assumptions \textit{must} be made on what Alice and Bob are doing. Here are a few examples:

\begin{itemize}

\item Unconditional security bounds took some time to reach those who were evaluating or implementing practical schemes. The bounds that finally percolated were plagued by a huge assumption, of which very few people were aware: the bounds were valid only in the limit of infinitely long keys! \textit{Finite-key bounds} had already been addressed in some of the first security proofs \cite{may96,biham,inamori}; such bounds are now tractable and the whole community is aware of the stringency of finite-key corrections \cite{finitekey}.

\item Security proofs always imply a \textit{modeling of the detection process}. For instance, almost all the proofs in discrete-variable QKD are based on an assumption called \textit{squashing}: basically, whether a detector ends up squashing all the complexity of a state of the electromagnetic field (the ``real thing'') into a qubit (the thing theorists work with). The validity of this assumption was proved recently for the BB84 coding \cite{squashing}; for other protocols, it remains an assumption.

\item The most general theoretical bounds can accommodate all possible statistics. When applied to the study of a practical setup, however, simplifying assumptions are usually made. For instance, we are aware of only one proof, in which the detectors are allowed to have different efficiency, which is the case in reality \cite{fung}.

\end{itemize}

Ultimately, the suitable security bound for an implementation cannot be found explicitly spelled out in a theoretical paper; nor even in an experimental paper reporting on a similar implementation. Those papers should provide guidance, but each specific setup must be the object of a dedicated study --- whence another element of trust creeps in: one must trust the thoroughness of this dedicated study.

\section{Paths for the future}

QKD has evolved from the dreams of childhood to the seriousness of maturity. What is the next stage? Sure enough, ``only time will tell what we will do in the future'' \cite{constantin}. But the facts sketched above, combined with some tendencies within the QKD community, allow a guess of two directions in which the field may evolve in the coming years.

\subsection{Option 1: reasonable security of a device}

Although they do not provide ``security based only on the laws of physics'', usual QKD devices provide a quite reasonable level of security if implemented with technical competence and without false complacency on their ``quantumness''. After all, couriers of classical information must also be trusted; once the trust is there, QKD guarantees the incorruptibility of the courier during its travel --- a guarantee that classical information cannot offer.

Here we have therefore a \textit{first possible stance}: give up claims of ultimate security, find a competitive edge and try to produce devices than compare favorably with those operating with classical information. It is our impression that some of main actors in practical QKD have already taken this stance. Apart from technological development, one of the main challenges along the way will consist in finding where exactly the competitive edge may lie --- a superficial survey of claims may suggest that long-distance implementations are one of the goals, but in fact QKD does not seem to be a viable solution in that regime \cite{disadv}.

\subsection{Option 2: device-independent security and its price}

Recently, some authors have come up with a new class of QKD protocols that come as close as possible to the claim of ``security based only on the laws of physics''. The idea was already present in Ekert's 1991 seminal paper \cite{eke91}, but went unnoticed for many years. The key ingredient is that \textit{Bell's theorem is independent of quantum physics}. As a consequence, it is also independent of the details of the physical systems under study (its Hilbert space, its state, the measurements that are performed). Therefore, a protocol that estimates Eve's information through the amount of violation of a Bell-type inequality is ``device-independent'' \cite{devindep}.

Of course, even the security of device-independent protocols is not based only on the laws of physics; however, it seems that only those requirements are left that are \textit{strictly necessary}: the eavesdropper does not read your data, does not know which measurements you are going to choose, and the like. A comprehensive discussion can be found in Ref.~\cite{pironio}.

What we want to highlight here is that this level of security, arguably the most paranoid one can envisage, comes together with very stringent constraints. As an example, we show how \textit{device-independent protocols have an (almost) intrinsic limitation in distance}. This stems from the requirement that the detection efficiency must be high enough to close the so-called detection loophole. Indeed, as soon as the fraction of detected pairs falls below a given threshold, the observed violation of Bell-type inequality could have been created by pre-established agreement: the devices may just contain computers pre-programmed by the eavesdropper! In an implementation, being impossible to distinguish losses in transmission from losses due to the quantum efficiency of the detector, the threshold gives the value of the tolerable \textit{total} amount of losses.

How much is this threshold? A thorough study of the detection loophole is missing, partly because the classification of Bell's inequalities is a hard task in itself, and partly because the whole issue was considered of limited interest before the idea of device-independent QKD came about. It is known that there is no finite lower bound: there are explicit examples in which the detection loophole can be closed with arbitrarily low efficiency \cite{massar}. However, these examples use states of very large dimension $d$ and a number of measurements that is exponential in $d$. For a QKD protocol to qualify as ``practical'', the number of measurements and of outcomes must be kept ``reasonable''. The set of inequalities with few measurements and few outcomes has been studied in great detail (though not in its fullness) and, in those cases, the detection threshold is always found well above $50\%$ \cite{detloop}. For definiteness therefore, let us take the value of $50\%$ for the threshold of total detection efficiency \cite{lutk}.

InGaAs photodetectors in the telecom wavelength range have efficiencies below 30\% even under the most optimistic specifications; none of the implementation using those detectors can therefore be used for device-independent security. Depending on the trust into manufacturer specifications, setups using Silicon-APD may just about reach the threshold on the detector side, but then almost no losses can be tolerated in the channel. Assuming detectors with 100\% efficiency \cite{seawoonam}, fiber-optical transmission channels without any interconnect losses and with the usually quoted (optimistic) attenuation coefficient of 0.18\,dB/km would limit a direct QKD link to a distance of 16\,km. 

This issue of the distance has been presented as an example of how stringent the requirements for device-independent security may be. If we believe that history repeats itself, further scrutiny will lead to identifying further limitations of these very recent protocols. In other words, it may be premature to attach any practical value to device-independent QKD; whence the \textit{second possible stance} that we envisage for the coming years: focus on developing the tools (both theoretical and experimental) required to demonstrate the ultimate level of security, leaving aside, at least temporarily, all claims of usefulness.

\section{Conclusion}

We have reviewed the evidence of the fact that QKD guarantees security based on the laws of physics \textit{provided} the implementation is perfect, or more precisely, provided all the imperfections of the implementation have been characterized and their effect is accounted for. Since a thorough check of all possible leakage channels is impossible, the security of any specific implementation of QKD will always be based on some elements of trust. Expressions like ``security based only on the laws of physics'' or ``unconditional security'' are convenient among experts, as part of their technical jargon; but when they leak out to larger audiences, they almost invariably convey the wrong message (the same is true for ``device-independent'', though fortunately this expression has not reached the general public yet).

Specifically, we argued that the level of trust for usual QKD protocols, like BB84, is not very different from the one demanded of a ``trusted courier'' carrying classical information. Protocols based on Bell's inequalities minimize the number of elements of trust but come with very stringent requirements. 

Twenty-five years after BB84, the field of QKD seems on the point of splitting in two directions: (i) the development of prototypes optimized for the needs of niche tasks and guaranteeing a ``reasonable'' level of security; (ii) the quest for demonstrating the most paranoid level of security, leaving aside, at least temporarily, the claim of practical usefulness.

\textbf{Note added in proof:} this text reflects the state of practical QKD in 2009, i.e. on the 25th anniversary of the BB84 protocol. Among the progresses in the last two years, two are worth at least mentioning. First, complete hacking of QKD systems has been reported, exploiting a loophole in the hardware, which can be closed \cite{makarov,ilja}. Second, methods have been suggested that would avoid the distance limitation in device-independent QKD \cite{gps,cm}. While it is too early to assess the practical value of these methods, it is encouraging to see that, when the real challenges are clearly spelled out, the inventiveness of physicists rises to meet them.


\section*{Acknowledgments}

This work is supported by the National Research Foundation and Ministry of Education, Singapore. We thank Antonio Ac\'{\i}n, Alexios Beveratos, Nicolas Gisin, Antia Lamas-Linares, Vadim Makarov, Gr\'egoire Ribordy and Hugo Zbinden for illuminating exchanges on these topics over the past few years; and the editors Renato Renner and Tal Mor for their support and their clarifying comments.


\section*{References}

% \bibliography{mybibfile}
% We decided that searching the relevant bibtex file was a bit too tedious,
% and therefore included the references as they were formatted for the
% standard Physical Review A style - also in absence of any specific reference
% style instructions.


\begin{thebibliography}{19}
\expandafter\ifx\csname natexlab\endcsname\relax\def\natexlab#1{#1}\fi
\expandafter\ifx\csname bibnamefont\endcsname\relax
  \def\bibnamefont#1{#1}\fi
\expandafter\ifx\csname bibfnamefont\endcsname\relax
  \def\bibfnamefont#1{#1}\fi
\expandafter\ifx\csname citenamefont\endcsname\relax
  \def\citenamefont#1{#1}\fi
\expandafter\ifx\csname url\endcsname\relax
  \def\url#1{\texttt{#1}}\fi
\expandafter\ifx\csname urlprefix\endcsname\relax\def\urlprefix{URL }\fi
\providecommand{\bibinfo}[2]{#2}
\providecommand{\eprint}[2][]{\url{#2}}


\bibitem{bb84}
\bibinfo{author}{\bibfnamefont{C.}~\bibnamefont{Bennett}} \bibnamefont{and}
  \bibinfo{author}{\bibfnamefont{G.}~\bibnamefont{Brassard}}, in
  \emph{\bibinfo{booktitle}{Proceedings of IEEE International Conference on
  Computers, Systems and Signal Processing, Bangalore, India, December 1984,
  pp. 175 - 179.}} (\bibinfo{year}{1984}).
  
\bibitem{eke91} A.K. Ekert, Phys. Rev. Lett. \textbf{67}, 661 (1991)

\bibitem{wiesner} The intuition behind BB84 has been anticipated by Wiesner's ``quantum money": S. Wiesner, Sigact News \textbf{15}, 78 (1983); and in one of his papers, Deutsch had casually noticed that a maximally entangled state of two qubits could be used for cryptography: D. Deutsch, Proc. Roy. Soc. London A \textbf{400}, 97 (1985).

\bibitem{may96}%%uncondsec
\bibinfo{author}{\bibnamefont{D. Mayers}}, in: \emph{\bibinfo{booktitle}{Advances in Cryptology \,---\, Proceedings of Crypto '96}} (\bibinfo{publisher}{Springer Verlag, Berlin, 1996}), p. 343. Later published as: D. Mayers, JACM \textbf{48}, 351-406 (2001)

\bibitem{lo99b}%%uncondsec with q-computer
\bibinfo{author}{\bibnamefont{H.-K. Lo, H.F. Chau}},
\bibinfo{journal}{Science} \textbf{\bibinfo{volume}{283}},
\bibinfo{pages}{2050} (1999).

\bibitem{sho00}%%uncond sec BB84
\bibinfo{author}{\bibnamefont{P.W. Shor, J. Preskill}},
\bibinfo{journal}{Phys. Rev. Lett.} \textbf{\bibinfo{volume}{85}},
\bibinfo{pages}{441} (2000).

\bibitem{bitcom} Interestingly, the impossibility of bit commitment also derives from a deep physical law: the fact that the correlations obtained by measuring an entangled state do not arise from a time-ordered chain of events. Here, it implies that Bob cannot be sure that Alice has actually performed her measurement and thus committed to her bit. For the formal proof, see: H.-K. Lo, H.F. Chau, Phys. Rev. Lett. \textbf{78}, 3410 (1997); D. Mayers, Phys. Rev. Lett. \textbf{78}, 3414 (1997).

\bibitem{gis02} N. Gisin, G. Ribordy, W. Tittel, H.
Zbinden, Rev. Mod. Phys. \textbf{\bibinfo{volume}{74}},
\bibinfo{pages}{145} (2002)

\bibitem{dus06} M. Du\v{s}ek, N. L\"utkenhaus, M. Hendrych, Progress in Optics \textbf{\bibinfo{volume}{49}}, Edt. E. Wolf (Elsevier), \bibinfo{pages}{381} (2006)

\bibitem{sca08} V. Scarani, H. Bechmann-Pasquinucci, N.J. Cerf, M. Du\v{s}ek, N. L\"utkenhaus, M. Peev, Rev. Mod. Phys. \textbf{81}, 1301 (2009)

\bibitem{lo08} H.-K. Lo, Y. Zhao, Encyclopedia of Complexity and Systems Science, Volume 8, pages 7265-7289 (Springer New York, 2009)

\bibitem{all07}
R. All\'eaume, J. Bouda, C. Branciard, T. Debuisschert, M. Dianati, N. Gisin, 
M. Godfrey, P. Grangier, T. L\"{a}nger, A. Leverrier, N. L\"{u}tkenhaus, P. Painchault, M. Peev, A. Poppe, 
T. Pornin, J. Rarity, R. Renner, G. Ribordy, M. Riguidel, L. Salvail, A. Shields, H. Weinfurter, A. 
Zeilinger, \textit{SECOQC White Paper on Quantum Key Distribution and Cryptography}, \eprint{quant-ph/0701168}

\bibitem{biham} E. Biham, M. Boyer, P.O. Boykin, T. Mor, V. Roychowdhury, Journal of cryptology \textbf{19}, 381 (2006) 

\bibitem{pns} N. L\"{u}tkenhaus, Phys. Rev. A \textbf{\bibinfo{volume}{61}}, \bibinfo{pages}{052304} (2000); G. Brassard, N. L\"{u}tkenhaus, T. Mor, B.C. Sanders, Phys. Rev. Lett. \textbf{\bibinfo{volume}{85}}, \bibinfo{pages}{1330} (2000).

\bibitem{gllp} D. Gottesman, H.-K. Lo, N. L\"utkenhaus, J. Preskill, Quant. Inf. Comput. \textbf{\bibinfo{volume}{4}}, \bibinfo{pages}{325} (2004).

\bibitem{sarg} V. Scarani, A. Ac\'{\i}n, G. Ribordy, and N. Gisin, \bibinfo{journal}{Phys. Rev. Lett.} \textbf{\bibinfo{volume}{92}}, \bibinfo{pages}{057901} (2004).

\bibitem{decoy} W.-Y. Hwang, \bibinfo{journal}{Phys. Rev. Lett.} \textbf{\bibinfo{volume}{91}}, \bibinfo{pages}{057901} (2003); X.-B. Wang, Phys. Rev. Lett. \textbf{\bibinfo{volume}{94}},
\bibinfo{pages}{230503} (2005); H.-K. Lo, X. Ma, and K. Chen, Phys. Rev. Lett. \textbf{\bibinfo{volume}{94}},
\bibinfo{pages}{230504} (2005).

\bibitem{lopresk} H.-K. Lo, J. Preskill, \bibinfo{journal}{Quant. Inf. Comput.} \textbf{\bibinfo{volume}{8}}, \bibinfo{pages}{431} (2007).

\bibitem{muller} A. Muller, T. Herzog, B. Huttner, W. Tittel, H. Zbinden, N. Gisin, Appl. Phys. Lett. \textbf{\bibinfo{volume}{70}}, \bibinfo{pages}{793} (1997)

\bibitem{gis06} N. Gisin, S. Fasel, B. Kraus, H. Zbinden, G. Ribordy, \bibinfo{journal}{Phys. Rev. A} \textbf{\bibinfo{volume}{73}}, \bibinfo{pages}{022320} (2006).

\bibitem{zha08} Y. Zhao, B. Qi, H.-K. Lo, \bibinfo{journal}{Phys. Rev. A} \textbf{\bibinfo{volume}{77}}, \bibinfo{pages}{052327} (2008).

\bibitem{hae08} H. H\"aseler, T. Moroder, N. L\"utkenhaus, \bibinfo{journal}{Phys. Rev. A} \textbf{\bibinfo{volume}{77}}, \bibinfo{pages}{032303} (2008).

\bibitem{fourdiodes} C. Kurtsiefer, P. Zarda, M. Halder, H. Weinfurter, P.M. Gorman, P.R. Tapster, J.G. Rarity, Nature \textbf{419}, 450 (2002)

\bibitem{benexp92} C.H. Bennett, F. Bessette, L. Salvail, G. Brassard, J. Smolin, J. Cryptology \textbf{5}, 3 (1992)  

\bibitem{kurtsiefer:01a} C.~Kurtsiefer, P.~Zarda, S.~Mayer, and H.~Weinfurter,
  Journal of Modern Optics \textbf{48}, 2039--2047 (2001).

\bibitem{ribordy98} G. Ribordy, J.-D. Gautier, N. Gisin, O. Guinnard, H. Zbinden, Electronics Letters \textbf{34}, 2116 (1998)

\bibitem{makarov:05} V.~Makarov, D.~R. Hjelme, Journal of Modern Optics \textbf{52}, 691 (2005)

\bibitem{makarov:06} V.~Makarov, A.~Anisimov, J.~Skaar, Phys. Rev. A \textbf{74}, 022313 (2006).

\bibitem{zhao08} Y. Zhao, C.-H. F. Fung, B. Qi, C. Chen, H.-K. Lo, Phys. Rev. A \textbf{78}, 042333 (2008) 

\bibitem{lamas:07}
  \bibinfo{author}{\bibfnamefont{A.}~\bibnamefont{Lamas-Linares}}
  \bibnamefont{and}
  \bibinfo{author}{\bibfnamefont{C.}~\bibnamefont{Kurtsiefer}},
  \bibinfo{journal}{Opt. Express} \textbf{\bibinfo{volume}{15}},
  \bibinfo{pages}{9388} (\bibinfo{year}{2007}).

\bibitem{inamori} H. Inamori, N. L\"utkenhaus, D. Mayers, Eur. Phys. J. D \textbf{41}, 599 (2007) 
  
\bibitem{finitekey} M. Hayashi, Phys. Rev. A \textbf{76}, 012329 (2007); V. Scarani, R. Renner, Phys. Rev. Lett. \textbf{100}, 200501 (2008); R.Y.Q. Cai, V. Scarani, New J. Phys. \textbf{11}, 045024 (2009). In their goal of establishing rigorous bounds, these papers did not point out explicitly something that is very relevant: that, 
when all is said and done, the most important part of the finite-key corrections is due to the statistical fluctuations of the parameters (e.g. error rates) that have been estimated on finite samples.

\bibitem{squashing} N.J. Beaudry, T. Moroder, N. L\"utkenhaus, Phys. Rev. Lett. \textbf{\bibinfo{volume}{101}},
\bibinfo{pages}{093601} (2008); T. Tsurumaru, K. Tamaki, Phys. Rev. A \textbf{\bibinfo{volume}{78}},
\bibinfo{pages}{032302} (2008)

\bibitem{fung} C.-H.F. Fung, K. Tamaki, B. Qi, H.-K. Lo, X. Ma, Quantum Inf. Comput. \textbf{9}, 131 (2009) 

\bibitem{constantin} Freely translated from ``L'avenir nous dira ce qu'on va faire dans le futur'', a by now famous truism by Swiss soccer tycoon Christian Constantin, Prix Champignac d'Or 2007.

\bibitem{disadv} Try the following back-of-the-envelop calculation: Alice creates weak coherent pulses with $\mu$ average photon number at a rate $R$ and sends them to Bob over a channel with transmittivity $t=10^{-\alpha\ell/10}$ where $\ell$ is the distance and $\alpha$ characterizes the losses. Bob uses a detector with $\eta$ quantum efficiency. The time Bob needs to detect $K$ bits of data is $\tau=\frac{K}{R\mu t\eta}$ (note that we are considering only the effect of losses and detection: one should add the effect of dark counts and the data processing to extract a secret key). As an example, take $K=1$Gb, $R=1$GHz, $\mu=\eta=0.1$, $\alpha=0.2$dB/km (fibers) and $\ell=100$km; then $\tau=10^4$s i.e. 3 hours. This is not bad, it's of the same order of magnitude as delivering a DVD by car or train. However, the scaling is exponential: for the same values and $\ell=500$km, one finds the awesome value $\tau=10^{12}$s $\approx 30000$ years: you are definitely faster deliver a DVD, even walking there! We note that 500km is roughly the distance at which quantum repeaters would start to be useful in fiber-based implementations: see Appendix A of \cite{sca08} and Figure 18 of: N. Sangouard, C. Simon, H. de Riedmatten, N. Gisin, Rev. Mod. Phys \textbf{83}, 33 (2011).

\bibitem{devindep} We do not delve here into the detailed sequence of discoveries and claims that lead to device-independent QKD. The most meaningful references are: J. Barrett, L. Hardy, A. Kent, \bibinfo{journal}{Phys. Rev. Lett.} \textbf{\bibinfo{volume}{95}}, \bibinfo{pages}{010503} (2005); A. Ac\'{\i}n, N. Gisin, L. Masanes, \bibinfo{journal}{Phys. Rev. Lett.} \textbf{\bibinfo{volume}{97}}, \bibinfo{pages}{120405} (2006); A. Ac\'{\i}n, N. Brunner, N. Gisin, S. Massar, S. Pironio, V. Scarani, \bibinfo{journal}{Phys. Rev. Lett.} \textbf{\bibinfo{volume}{98}}, \bibinfo{pages}{230501} (2007).

\bibitem{pironio} S. Pironio, A. Ac\'{\i}n, N. Brunner, N. Gisin, S. Massar, V. Scarani, New J. Phys. \textbf{11}, 045021 (2009)

\bibitem{massar} S. Massar, Phys. Rev. A \textbf{65}, 032121 (2002)

\bibitem{detloop} S. Massar, S. Pironio, J. Roland, B. Gisin, Phys. Rev. A \textbf{66}, 052112 (2002); N. Brunner, N. Gisin, Phys. Lett. A \textbf{372}, 3162 (2008); K.F. P\'al, T. V\'ertesi, Phys. Rev. A \textbf{79}, 022120 (2009)

\bibitem{lutk} Even in standard QKD, the detection loophole may be taken seriously. For the first protocol that was thoroughly studied, the threshold was found to be 50\%: X. Ma, T.Moroder, N. L\"utkenhaus, arXiv:0812.4301. These authors notice that, if \textit{quantum non-demolition (QND) measurement of photon number} would be available, the constraints of the detection loophole in their scenario would refer only to the efficiency of the detectors. This may be extended to the device-independent scenario only under some suitable timing assumption: the measurement must be chosen after the presence of a signal has been heralded. Anyway, practical QND measurements would trigger a real revolution, whose extent goes far beyond the goal of the present paper.

\bibitem{seawoonam} Superconductor-based TES detectors reach close to 100\% quantum efficiency and have been used in some QKD experiments: P.A. Hiskett, D. Rosenberg, C.G. Peterson, R.J. Hughes, S.W. Nam, A.E. Lita, A.J. Miller, J.E. Nordholt, New J. Phys. \textbf{8}, 193 (2006). At present, this technology cannot yet be called ``practical'', due to its cooling requirements. One might wonder why these detectors have not been used to close the detection loophole. People are actually working on it, but the obstacle is that, with existing sources of entangled pairs, just the losses in the collection of the output modes are sufficient to bring the total collected fraction below the critical threshold!

\bibitem{makarov} L. Lydersen, C. Wiechers, C. Wittmann, D. Elser, J. Skaar, V. Makarov, Nature Photonics \textbf{4}, 686 (2010) 

\bibitem{ilja} I. Gerhardt, Q. Liu, A. Lamas-Linares, J. Skaar, C. Kurtsiefer, V. Makarov, Nature Communications \textbf{2}, 349 (2011)

\bibitem{gps} N. Gisin, S. Pironio, N. Sangouard, Phys. Rev. Lett. \textbf{105}, 070501 (2010)

\bibitem{cm} M. Curty, T. Moroder, Phys. Rev. A \textbf{84}, 010304(R) (2011)

\end{thebibliography}

\end{document}
