Compact and provably secure lattice-based signatures in hardware | IEEE Conference Publication | IEEE Xplore