Efficient SAT-Based Pre-image Enumeration for Quantitative Information Flow in Programs.

Alexander Weigl

Published in: DPM/QASA@ESORICS (2016)

Keyphrases

information flow
image classification
image data
image segmentation
single image
image features
input image
multiscale
image retrieval
edge detection
image representation
image content
social networks
high resolution
flow analysis
logic programming
database systems
image regions
planning problems
answer sets