Send the following on WhatsApp
Continue to ChatFormal specification and model checking of lattice-based key encapsulation mechanisms in Maude - https://avesis.omu.edu.tr/yayin/c80ec5cc-51ff-4f7b-b18d-9a5cc55974c6/formal-specification-and-model-checking-of-lattice-based-key-encapsulation-mechanisms-in-maude