Noncommutative Gröbner bases in Polly Cracker cryptosystems door Andreas Helde