A Simple Proof — IND$NRCPASecure NonceBased Symmetric Encryption Scheme
As a warmup, we'll consider a simple noncebased symmetric encryption scheme for fixedlength messages.^{1} Here, we assume some familiarity with cryptographic definitions and proofs.
📄️ Defining the Preliminaries/Context
We will start off by defining the preliminaries and context of our security proof,
📄️ Defining Security
Now that we have a scheme, we can define its security. For the time being,
📄️ Proving Security
Having formalized the relevant context and the more general securityrelated definitions
🗃️ Going Further
2 items
Footnotes

Note the similarities to The Joy of Cryptography's Construction 7.4. ↩