Simple explanation on why QKD keys have not been proved secure
  A simple counter-example is given on the prevalent interpretation of the trace distance criterion as failure probability in quantum key distribution protocols. A summary of its ramifications is listed. 
Horace Yuen
quant-ph cs.CR