Multi-prover Commitments Against Non-signaling Attacks.

Serge Fehr Max Fillinger

Published in: CRYPTO (2) (2015)

Keyphrases

multiagent systems
theorem prover
multiscale
theorem proving
countermeasures
traffic analysis
malicious attacks
genetic algorithm
network security
watermarking scheme
computer security