UC-Secure Non-interactive Public-Key Encryption | IEEE Conference Publication | IEEE Xplore