Static analysis for discovering IoT vulnerabilities.
Pietro FerraraAmit Kr MandalAgostino CortesiFausto SpotoPublished in: Int. J. Softw. Tools Technol. Transf. (2021)
Keyphrases
- static analysis
- dynamic analysis
- source code
- symbolic execution
- malicious code
- management system
- test generation
- regular expressions
- java card
- big data
- security vulnerabilities
- information security
- location information
- countermeasures
- cloud computing
- artificial intelligence
- data sets
- data flow
- security issues
- error rate
- anomaly detection
- software engineering
- relational databases