Improved indifferentiability security proof for 3-round tweakable Luby-Rackoff.
Ritam BhaumikMridul NandiAnik RaychaudhuriPublished in: Des. Codes Cryptogr. (2021)
Keyphrases
- access control
- information security
- improved algorithm
- network security
- security management
- intrusion detection
- theorem prover
- security threats
- security issues
- security systems
- security policies
- linear logic
- block cipher
- cryptographic protocols
- data security
- security protocols
- security requirements
- real time
- theorem proving
- neural network
- data sets