Okei, så vi har [[Bellare–Rogaway Encryption]] (BRE) schemes som tar OW-PCA KEM til IND-CCA PKE. Konkrete eksempler: - [[REACT transform]] - Har også blitt vist å ta OW-qPCA til IND-qCCA ([[PKC'23]]) - Oppnår den også NCE-CCA? - Oppnår den isåfall også NCE-qCCA? - Vår TagKEM/NCE construction fra [[Multi-Instance Secure Public-Key Encryption]] og [[SoK - Public Key Encryption with Openings]] - Hvis vi begynner med OW-qPCA, kan vi oppnå NCE-CCA i QROM? - Kan vi i så fall også oppnå NCE-qCCA? - NCE proof fra [[SoK - Public Key Encryption with Openings]] er ikke modulært: ønsker å holde transformasjonen fra OW-PCA KEM til en NCE-aktig TagXEM, og deretter til NCE-CCA PKE, men det er vanskelig å holde programmeringen konsistent mellom stegene. Kan vi fikse dette problemet med Jaegers [[SIMstar]] notion ([[Eurocrypt'23]])? - Kan vi få *dette* til å funke i QROM? Ville isåfall involvert en generalisering av [[SIMstar]] I guess? (Hør med Joseph) - Kan vi da samtidig oppnå NCE-qCCA? I en annen retning, kan vi bruke en annen DEM som AES for å oppnå det samme men mer effektivt? Mener å huske noen skrev om AES med deniable properties nylig. Og så har vi jo også den bloggposten og det opplegget. Se: [[Deniable DEM]]