Rational Delegation Computing Using Information Theory and Game Theory Approach
暂无分享,去创建一个
[1] Sanjeev Arora,et al. Probabilistic checking of proofs: a new characterization of NP , 1998, JACM.
[2] Craig Gentry,et al. Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers , 2010, CRYPTO.
[3] Yael Tauman Kalai,et al. Improved Delegation of Computation using Fully Homomorphic Encryption , 2010, IACR Cryptol. ePrint Arch..
[4] Alon Rosen,et al. Rational arguments: single round delegation with sublinear verification , 2014, ITCS.
[5] Silvio Micali,et al. The knowledge complexity of interactive proof-systems , 1985, STOC '85.
[6] Yael Tauman Kalai,et al. Delegating computation: interactive proofs for muggles , 2008, STOC.
[7] Reihaneh Safavi-Naini,et al. Verifiable Delegation of Computations with Storage-Verification Trade-off , 2014, ESORICS.
[8] Dongdai Lin,et al. Bayesian mechanism for rational secret sharing scheme , 2015, Science China Information Sciences.
[9] Shikha Singh,et al. Rational Proofs with Multiple Provers , 2015, ITCS.
[10] Pablo Azar,et al. Super-efficient rational proofs , 2013, EC '13.
[11] Rosario Gennaro,et al. Fully Homomorphic Message Authenticators , 2013, IACR Cryptol. ePrint Arch..
[12] Silvio Micali,et al. Rational proofs , 2012, STOC '12.
[13] Silvio Micali,et al. CS proofs , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.