Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains.
Reza M. PariziAli DehghantanhaKim-Kwang Raymond ChooAmritraj SinghPublished in: CoRR (2018)
Keyphrases
- smart grid
- information security
- supply chain
- security issues
- fully automated
- search based testing
- fault injection
- security level
- human operators
- access control
- intrusion detection
- statistical databases
- penetration testing
- security vulnerabilities
- computer security
- security policies
- security requirements
- network security
- test cases
- semi automated
- information assurance
- empirical data
- automated analysis
- theoretical analysis
- functional requirements
- security systems
- sensitive data
- java card
- security threats
- security management
- security mechanisms
- machine learning