Loading paper
Security proof for a simplified BB84-like QKD protocol | Tomesphere