Non-commutative Cryptography and Complexity of Group-theoretic Problems