Proving More Observational Equivalences with ProVerif.

Vincent Cheval Bruno Blanchet

Published in: POST (2013)

Keyphrases

connected components
relational algebra
causal inference
database systems
object recognition
viewpoint
databases
feature selection
image segmentation
high level
objective function
data structure
high dimensional
first order logic