On random nonsingular Hermite Normal Form

Hermite Normal Form (HNF) is a classical subject in number theory and has been studied for a long time. Recently, some new applications of HNF have been found in lattice-based cryptography. In this paper, we discuss the uniform distribution and statistical properties of nonsingular HNF. Moreover, we use these results to construct an algorithm for generating random full-rank integer lattice.