Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation.
Brandon PaulsenChungha SungPeter A. H. PetersonChao WangPublished in: ASE (2019)
Keyphrases
- static analysis
- dynamic analysis
- source code
- symbolic execution
- malicious code
- image compression
- compression algorithm
- java card
- regular expressions
- data compression
- test generation
- abstract interpretation
- compression scheme
- multi channel
- lossless compression
- test suite
- artificial intelligence
- xml documents
- network traffic
- open source