Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode.
Yu PanZhichao XuLevi Taiji LiYunhe YangMu ZhangPublished in: ISSTA (2023)
Keyphrases
- java card
- smart card
- information security
- human operators
- access control
- security mechanisms
- smart grid
- security requirements
- semi automated
- virtual machine
- supply chain
- security systems
- high level
- security issues
- network security
- intrusion detection
- source code
- countermeasures
- statistical databases
- static analysis
- security policies
- security analysis
- security problems
- security model
- computer security
- smart environments