On Manufacturing Resilient Opaque Constructs Against Static Analysis.
Brendan SheridanMicah SherrPublished in: ESORICS (2) (2016)
Keyphrases
- static analysis
- dynamic analysis
- source code
- symbolic execution
- java card
- malicious code
- quality control
- manufacturing systems
- test generation
- manufacturing processes
- abstract interpretation
- production planning
- artificial intelligence
- regular expressions
- open source
- manufacturing process
- learning algorithm
- test suite
- error rate