Babaï round-off CVP method in RNS: Application to lattice based cryptographic protocols | IEEE Conference Publication | IEEE Xplore