"Automata (computation)" . "Combinatorial group theory" . "Algebra" . "Cryptographic protocols" .