Multi-Prover Commitments Against Non-Signaling Attacks.

Serge Fehr Max Fillinger

Published in: IACR Cryptol. ePrint Arch. (2015)

Keyphrases

theorem proving
theorem prover
countermeasures
cooperative
multiresolution
watermarking scheme
automated theorem proving
attack detection
chosen plaintext
neural network
search engine
information security
security threats
traffic analysis
malicious attacks