4.2 Discrete Gaussian Leftover Hash Lemma

TODO: should learn from [AGH+13]