Computational Soundness Results for ProVerif - Bridging the Gap from Trace Properties to Uniformity.

Michael Backes Esfandiar Mohammadi Tim Ruffing

Published in: POST (2014)

Keyphrases

information retrieval
feature selection
knowledge base
image processing
structural properties
desirable properties
mathematical programming
databases
machine learning
artificial intelligence
multimedia
website
multiscale
feature space
expert systems
computational models