PowerRanger: Assessing circuit vulnerability to power attacks using SAT-based static analysis.
J. HaoValeria BertaccoPublished in: HLDVT (2009)
Keyphrases
- static analysis
- java card
- malicious code
- dynamic analysis
- duty cycle
- source code
- power consumption
- security risks
- regular expressions
- security vulnerabilities
- symbolic execution
- buffer overflow
- single phase
- power dissipation
- power reduction
- answer set programming
- test generation
- denial of service
- smart card
- test suite
- bounded model checking
- dos attacks
- abstract interpretation
- decision trees
- watermarking scheme
- sat solvers
- pattern matching
- case study