Empirical vulnerability analysis of automated smart contracts security testing on blockchains.
Reza M. PariziAli DehghantanhaKim-Kwang Raymond ChooAmritraj SinghPublished in: CASCON (2018)
Keyphrases
- smart grid
- access control
- information security
- search based testing
- semi automated
- security problems
- fault injection
- data security
- automated analysis
- intrusion detection
- computer security
- human operators
- wireless sensor
- cyber security
- security threats
- machine learning
- security requirements
- smart environments
- security issues
- fully automated
- network security
- supply chain
- theoretical analysis
- network management
- functional requirements
- statistical databases
- test cases
- penetration testing
- security vulnerabilities
- decision making
- software testing
- software development
- security level
- test set
- security model
- authentication protocol
- elliptic curve
- test data