Lattice Based Authenticated Key Exchange with Universally Composable Security | IEEE Conference Publication | IEEE Xplore