Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation.
Brandon PaulsenChungha SungPeter A. H. PetersonChao WangPublished in: CoRR (2019)
Keyphrases
- static analysis
- dynamic analysis
- source code
- image compression
- malicious code
- data compression
- abstract interpretation
- regular expressions
- compression algorithm
- java card
- test generation
- test suite
- symbolic execution
- multi channel
- lossless compression
- compression scheme
- compression ratio
- domain knowledge
- database systems
- relational databases