Efficient Universally Composable Password-Based Key Exchange | IEEE Conference Publication | IEEE Xplore