Data-Driven Synthesis of Provably Sound Side Channel Analyses.

Jingbo Wang Chungha Sung Mukund Raghothaman Chao Wang

Published in: CoRR (2021)

Keyphrases

data driven
worst case
databases
model driven
information systems
information retrieval
clustering algorithm
program synthesis
real time
comparative analysis
statistical tests
multiresolution
digital libraries
case study
social networks
artificial intelligence
real world
neural network
data sets