Interactive Proofs for Social Graphs.

Liran Katzir Clara Shikhelman Eylon Yogev

Published in: CRYPTO (3) (2020)

Keyphrases

social graphs
social networks
small scale
online social networks
user interaction
computer graphics
theorem proving
real world
evolutionary algorithm
social network analysis
simulated annealing
structured data
theorem prover