Leftover Hashing against quantum side information | IEEE Conference Publication | IEEE Xplore