Machine-Checked Security for rmXMSS as in RFC 8391 and $\mathrm {SPHINCS^{+}} $.
Manuel BarbosaFrançois DupressoirBenjamin GrégoireAndreas HülsingMatthias MeijersPierre-Yves StrubPublished in: CRYPTO (5) (2022)
Keyphrases
- access control
- security issues
- security systems
- security problems
- intrusion detection
- information security
- information assurance
- data security
- security level
- network security
- flowshop
- scheduling problem
- statistical databases
- network management
- security vulnerabilities
- security policies
- security management
- security threats
- functional requirements
- security properties
- sensitive data
- security analysis
- computer security
- key management
- encryption scheme
- database
- security requirements
- parallel machines
- information systems