A.k.a. the [Workshop on Proofs and Proof Techniques for Cryptographic Security](https://protecs-workshop.gitlab.io). I submitted two talks, see [[NCE as a QROM playground]]. [[PQ-NCE and SIMstar]] accepted. For å besvare spørsmålet til en av reviewerne, kanskje det kan være nyttig å sammenligne [[Non-Committing Encryption]] med [[Intermediary Impossibles]]. Rough struktur: - Meny av teknikker - [[One-way to hiding]] - [[The Compressed-Oracle Technique]] - [[The resampling lemma]] - NCE definition - Construction from [[Key Encapsulation Mechanisms]] with unique encapsulation and [[One-Time Pad]] - [[PQ-NCE and SIMstar]] CPA proof sketch - How to get a tighter proof tighter via [[Fully Quantum OW-PCA]] - Trivially get a [[Fully Quantum OW-PCA]] KEM with unique encapsulation from the T transform - Future work: CCA - Playtime continues!