Proof of Diligence: Cryptoeconomic Security for Rollups.
Peiyao ShengRanvir RanaHimanshu TyagiPramod ViswanathPublished in: CoRR (2024)
Keyphrases
- information security
- network security
- access control
- security problems
- security requirements
- intrusion detection
- information assurance
- security issues
- security analysis
- security policies
- theorem proving
- human operators
- security protocols
- data security
- security level
- security threats
- security management
- security vulnerabilities
- theorem prover
- wireless networks
- real time
- low cost
- computer security
- information systems
- learning algorithm
- genetic algorithm