Using Static Analysis for Enhancing HLS Security.
Luca ColliniJoey Ah-kiowChristian PilatoRamesh KarriBenjamin TanPublished in: IEEE Embed. Syst. Lett. (2024)
Keyphrases
- static analysis
- java card
- dynamic analysis
- source code
- malicious code
- information security
- regular expressions
- symbolic execution
- security requirements
- access control
- security policies
- abstract interpretation
- smart card
- test suite
- api calls
- security issues
- key management
- security model
- color space
- domain knowledge
- data sets