Quantifying the Information Leakage in Cache Attacks via Symbolic Execution.
Sudipta ChattopadhyayMoritz BeckAhmed RezineAndreas ZellerPublished in: ACM Trans. Embed. Comput. Syst. (2019)
Keyphrases
- information leakage
- symbolic execution
- personal information
- static analysis
- test data generation
- test generation
- source code
- secret information
- specification language
- sensitive information
- query processing
- data access
- data flow
- open source
- data sets
- information hiding
- social networking
- privacy preserving
- evolutionary algorithm
- training data