Gaussian elimination in split unitary groups with an application to public-key cryptography | Journal of Algebra Combinatorics Discrete Structures and Applications