Public Verification of Private Effort.

Giulia Alberini Tal Moran Alon Rosen

Published in: TCC (2) (2015)

Keyphrases

public private
model checking
formal verification
data mining
face verification
verification method
public organizations
real time
machine learning
information retrieval
multi agent
formal methods
test generation
private data
high security