Key exchange; Cryptanalysis; Block upper triangular matrices; Non-abelian groups