From Obfuscation to the Security of Fiat-Shamir for Proofs.
Yael Tauman KalaiGuy N. RothblumRon D. RothblumPublished in: IACR Cryptol. ePrint Arch. (2016)
Keyphrases
- malware detection
- intrusion detection
- access control
- information security
- key management
- security policies
- security requirements
- security problems
- computer security
- security systems
- secret sharing scheme
- security mechanisms
- security analysis
- security issues
- reverse engineering
- network security
- security management
- security measures
- information systems
- unauthorized access
- anti virus
- statistical databases
- theorem prover
- anomaly detection
- object oriented