From source model to quantum key distillation: An improved upper bound | IEEE Conference Publication | IEEE Xplore