Security proof Chernoff bound #44
Description
The current security proof is too vague. The exact Chernoff bounds must be stated, parameterized by m and k. The bound will then be in the form e^{-m} + e^{-k} (with various factors) as a union bound.