Security of Fixed-Weight Repetitions of Special-Sound Multi-Round Proofs.
Michele BattagliolaRiccardo LongoFederico PintoreEdoardo SignoriniGiovanni TognoliniPublished in: IACR Cryptol. ePrint Arch. (2024)
Keyphrases
- security issues
- factor authentication
- network security
- security threats
- theorem prover
- security level
- information security
- statistical databases
- fixed number
- security management
- data security
- security requirements
- security policies
- intrusion detection
- data mining
- weighting scheme
- neural network
- computer security
- security problems
- access control
- information systems