Anderson localization in a two-dimensional random gap model

We study the properties of the spinor wavefunction in a strongly disordered environment on a two-dimensional lattice. By employing a transfer-matrix calculation we find that there is a transition from delocalized to localized states at a critical value of the disorder strength. We prove that there exists an Anderson localized phase with exponentially decaying correlations for sufficiently strong scattering. Our results indicate that suppressed backscattering is not sufficient to prevent Anderson localization of surface states in topological insulators.