Committing Security of Ascon: Cryptanalysis on Primitive and Proof on Mode.
Yusuke NaitoYu SasakiTakeshi SugawaraPublished in: IACR Trans. Symmetric Cryptol. (2023)
Keyphrases
- access control
- intrusion detection
- security issues
- security requirements
- information security
- security threats
- neural network
- theorem prover
- information assurance
- computer security
- security mechanisms
- encryption scheme
- key management
- statistical databases
- data security
- security problems
- theorem proving
- block cipher
- security measures
- smart card