Ethainter: a smart contract security analyzer for composite vulnerabilities.
Lexi BrentNeville GrechSifis LagouvardosBernhard ScholzYannis SmaragdakisPublished in: PLDI (2020)
Keyphrases
- information security
- security vulnerabilities
- security issues
- smart grid
- security mechanisms
- security risks
- security breaches
- security requirements
- security patterns
- intrusion detection
- computer security
- countermeasures
- security threats
- buffer overflow
- network security
- security systems
- security flaws
- cyber security
- security problems
- information systems
- previously mentioned
- security level
- contractual obligations
- data security
- security protocols
- key management
- smart card
- computer systems
- access control
- supply chain
- security analysis
- cryptographic protocols
- rfid tags
- security management
- statistical databases
- security policies
- operating system
- advanced metering infrastructure
- web services