Statistics for Tools for the Security Analysis of Quantum Key Distribution in Infinite Dimensions