A Framework for Universally Composable Diffie-Hellman Key Exchange | IEEE Conference Publication | IEEE Xplore