Recent progress on the unconditional security proof for quantum key distribution protocols | IEEE Conference Publication | IEEE Xplore