Formalisation and Analysis of Decoy QKD in the Isabelle Infrastructure and Insider framework using Refinement and Attack Trees.

Florian Kammller, Rajagopal Nagarajan, Michael C. Parker, Catherine White

Browse the full SMC paper archive.