Secure Cloud Control Using Verifiable Computation

2021 ◽  
Author(s):  
Rouhollah Mahfouzi ◽  
Amir Aminifar ◽  
Soheil Samii ◽  
Petru Eles ◽  
Zebo Peng
Keyword(s):  
Verifiable Computation

Publicly Verifiable Computation of Polynomials Over Outsourced Data With Multiple Sources

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

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

IEEE Access ◽  
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

Practical Verifiable Computation–A MapReduce Case Study

2018 ◽  
Vol 13 (6) ◽  
pp. 1376-1391 ◽  
Author(s):  
Yongzhi Wang ◽  
Yulong Shen ◽  
Xiaohong Jiang
Keyword(s):  
Verifiable Computation

New publicly verifiable computation for batch matrix multiplication

2019 ◽  
Vol 479 ◽  
pp. 664-678 ◽  
Author(s):  
Xiaoyu Zhang ◽  
Tao Jiang ◽  
Kuan-Ching Li ◽  
Aniello Castiglione ◽  
Xiaofeng Chen
Keyword(s):  
Matrix Multiplication ◽  
Verifiable Computation

Efficient Proof Composition for Verifiable Computation

2018 ◽  
pp. 152-171 ◽  
Author(s):  
Julien Keuffer ◽  
Refik Molva ◽  
Hervé Chabanne
Keyword(s):  
Verifiable Computation
Sign in / Sign up

Export Citation Format

Share Document