A key exchange protocol and a cryptosystem based on the generalized decomposition problem | Synapse