From Obfuscation to the Security of Fiat-Shamir for Proofs.
Yael Tauman KalaiGuy N. RothblumRon D. RothblumPublished in: CRYPTO (2) (2017)
Keyphrases
- malware detection
- information security
- security requirements
- intrusion detection
- network security
- information assurance
- key management
- security management
- security problems
- security systems
- secret sharing scheme
- security policies
- access control
- reverse engineering
- theorem proving
- security issues
- information systems
- security analysis
- authentication protocol
- anomaly detection
- e government
- security mechanisms
- formal proof
- security measures
- security threats
- theorem prover
- security level
- secret sharing
- sensitive data
- static analysis
- security protocols
- computer security