Lattice-based Cryptography: A survey on the security of the lattice-based NIST finalists