FrodoKEM: A CCA-Secure Learning With Errors Key Encapsulation Mechanism | Synapse