argXtract: Deriving IoT Security Configurations via Automated Static Analysis of Stripped ARM Binaries.
Pallavi SivakumaranJorge BlascoPublished in: CoRR (2021)
Keyphrases
- static analysis
- source code
- java card
- dynamic analysis
- security problems
- open source
- key management
- symbolic execution
- test generation
- reverse engineering
- security requirements
- information security
- regular expressions
- malicious code
- access control
- management system
- api calls
- human operators
- security issues
- abstract interpretation
- test suite
- security policies
- security mechanisms
- control flow
- big data
- semi automatic
- intrusion detection
- software engineering
- high level