EasyUC: Using EasyCrypt to Mechanize Proofs of Universally Composable Security.
Ran CanettiAlley StoughtonMayank VariaPublished in: IACR Cryptol. ePrint Arch. (2019)
Keyphrases
- network security
- security issues
- access control
- security systems
- intrusion detection
- security problems
- information security
- security level
- security policies
- security requirements
- computer security
- information assurance
- security measures
- theorem proving
- lightweight
- functional requirements
- theorem prover
- security properties
- security threats
- information systems
- neural network