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