Tag-KEM/DEM framework for public-key encryption with non-interactive opening | IEEE Conference Publication | IEEE Xplore