Privacy amplification of distributed encrypted sources with correlated keys | IEEE Conference Publication | IEEE Xplore