A Tight Security Proof for $\mathrm{SPHINCS^{+}}$, Formally Verified.
Manuel BarbosaFrançois DupressoirAndreas HülsingMatthias MeijersPierre-Yves StrubPublished in: IACR Cryptol. ePrint Arch. (2024)
Keyphrases
- information security
- lower bound
- security requirements
- security issues
- access control
- network security
- theorem proving
- upper bound
- security policies
- information assurance
- security problems
- statistical databases
- generalization error bounds
- security level
- theorem prover
- intrusion detection
- genetic algorithm
- functional requirements
- computer security
- security systems
- cyber attacks
- role based access control
- security properties
- worst case
- security management
- real time