WASAI: uncovering vulnerabilities in Wasm smart contracts.
Weimin ChenZihan SunHaoyu WangXiapu LuoHaipeng CaiLei WuPublished in: ISSTA (2022)
Keyphrases
- information security
- security vulnerabilities
- smart grid
- supply chain
- security risks
- smart environments
- countermeasures
- data mining applications
- data sets
- buffer overflow
- context aware
- real time
- security issues
- e government
- decision making
- social welfare
- artificial intelligence
- neural network
- moral hazard
- principal agent