Verifiable Computation in Multiparty Protocols with Honest Majority

Provable Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-12475-9_11 ◽

2014 ◽

pp. 146-161 ◽

Author(s):

Peeter Laud ◽

Alisa Pankova

Keyword(s):

Verifiable Computation ◽

Multiparty Protocols

Download Full-text

Some applications of verifiable computation to biometric verification

2015 IEEE International Workshop on Information Forensics and Security (WIFS) ◽

10.1109/wifs.2015.7368568 ◽

2015 ◽

Author(s):

Julien Bringer ◽

Herve Chabanne ◽

Firas Kraiem ◽

Roch Lescuyer ◽

Eduardo Soria-Vazquez

Keyword(s):

Verifiable Computation ◽

Biometric Verification

Download Full-text

The Bns Lower-Bound for Multiparty Protocols Is Nearly Optimal

Information and Computation ◽

10.1006/inco.1994.1051 ◽

1994 ◽

Vol 112 (1) ◽

pp. 51-54 ◽

Author(s):

V. Grolmusz

Keyword(s):

Lower Bound ◽

Multiparty Protocols

Download Full-text

Publicly Verifiable Computation of Polynomials Over Outsourced Data With Multiple Sources

IEEE Transactions on Information Forensics and Security ◽

10.1109/tifs.2017.2705628 ◽

2017 ◽

Vol 12 (10) ◽

pp. 2334-2347 ◽

Author(s):

Wei Song ◽

Bing Wang ◽

Qian Wang ◽

Chengliang Shi ◽

Wenjing Lou ◽

...

Keyword(s):

Multiple Sources ◽

Verifiable Computation ◽

Outsourced Data

Download Full-text

Adaptive fund allocation for game-based verifiable computation outsourcing

10.31274/etd-20210609-116 ◽

2021 ◽

Author(s):

Xiaojuan Ma

Keyword(s):

Verifiable Computation ◽

Fund Allocation

Download Full-text

Efficient Fair Multiparty Protocols Using Blockchain and Trusted Hardware

Progress in Cryptology – LATINCRYPT 2019 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-30530-7_15 ◽

2019 ◽

pp. 301-320

Author(s):

Souradyuti Paul ◽

Ananya Shrivastava

Keyword(s):

Trusted Hardware ◽

Multiparty Protocols

Download Full-text

Flexible and Efficient Verifiable Computation on Encrypted Data

Public-Key Cryptography – PKC 2021 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-75248-4_19 ◽

2021 ◽

pp. 528-558

Author(s):

Alexandre Bois ◽

Ignacio Cascudo ◽

Dario Fiore ◽

Dongwoo Kim

Keyword(s):

Encrypted Data ◽

Verifiable Computation

Download Full-text

Verifiable Computation using Smart Contracts

Proceedings of the 2019 ACM SIGSAC Conference on Cloud Computing Security Workshop - CCSW'19 ◽

10.1145/3338466.3358925 ◽

2019 ◽

Author(s):

Sepideh Avizheh ◽

Mahmudun Nabi ◽

Reihaneh Safavi-Naini ◽

Muni Venkateswarlu K.

Keyword(s):

Smart Contracts ◽

Verifiable Computation

Download Full-text

Interactive Coding for Multiparty Protocols

Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science - ITCS '15 ◽

10.1145/2688073.2688109 ◽

2015 ◽

Author(s):

Abhishek Jain ◽

Yael Tauman Kalai ◽

Allison Bishop Lewko

Keyword(s):

Multiparty Protocols ◽

Interactive Coding

Download Full-text

Practical Verifiable Computation by Using a Hardware-Based Correct Execution Environment

IEEE Access ◽

10.1109/access.2020.3041308 ◽

2020 ◽

Vol 8 ◽

pp. 216689-216706

Author(s):

Junghee Lee ◽

Chrysostomos Nicopoulos ◽

Gweonho Jeong ◽

Jihye Kim ◽

Hyunok Oh

Keyword(s):

Verifiable Computation ◽

Correct Execution ◽

Execution Environment

Download Full-text

Practical Verifiable Computation–A MapReduce Case Study

IEEE Transactions on Information Forensics and Security ◽

10.1109/tifs.2017.2787993 ◽

2018 ◽

Vol 13 (6) ◽

pp. 1376-1391 ◽

Author(s):

Yongzhi Wang ◽

Yulong Shen ◽

Xiaohong Jiang

Keyword(s):

Verifiable Computation

Download Full-text