Verified Correctness and Security of OpenSSL HMAC.
Lennart BeringerAdam PetcherKatherine Q. YeAndrew W. AppelPublished in: USENIX Security Symposium (2015)
Keyphrases
- information security
- security systems
- security issues
- access control
- computer security
- information assurance
- security requirements
- network security
- intrusion detection
- statistical databases
- security vulnerabilities
- security threats
- security level
- security model
- data integrity
- neural network
- data security
- information systems
- security problems
- key management
- security management
- computer systems
- data encryption
- learning algorithm