Can be indistinguishability-based or simulation-based. Systemized by us in [[SoK - Public Key Encryption with Openings]].