Results 271 to 280 of about 4,798 (280)

Privately and Publicly Verifiable Computing Techniques

SpringerBriefs in Computer Science, 2017
Denise Demirel, Lucas Schabhüser
exaly  

Verifiable Computing from Fully Homomorphic Encryption

SpringerBriefs in Computer Science, 2017
Denise Demirel, Lucas Schabhüser, Demirel Denise   +2 more
exaly  

Verified Implementations for Secure and Verifiable Computation.

IACR Cryptol. ePrint Arch., 2014
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Guillaume Davy, François Dupressoir, Benjamin Grégoire, Pierre-Yves Strub   +6 more
openaire   +1 more source

THEMIS: A Mutually Verifiable Billing System for the Cloud Computing Environment

IEEE Transactions on Services Computing, 2013
Kyu Ho Park
exaly  

Verifiable outsourced ciphertext-policy attribute-based encryption in cloud computing

Soft Computing, 2016
Hao Wang, Debiao He, Jian Shen
exaly  

Verifiable Dynamic Fuzzy Search Over Encrypted Data in Cloud Computing

Lecture Notes in Computer Science, 2015
Xiaoyu Zhu, Guojun Wang, Wang Guojun
exaly  

Verifiable Federated Learning with Group Chaining in Edge Computing

Knowledge-Based Systems
Lin Hu
exaly  

Verifiable Cloud Computing

2019
Cheng Xu, Ce Zhang, Jianliang Xu
openaire   +1 more source

Verifiable Crowd Computing: Coping with bounded rationality

Theoretical Computer Science
MIGUEL A Mosteiro
exaly  

A Survey of Verifiable Computation

MOBILE NETWORKS AND APPLICATIONS, 2017
Yu, Xixun, Yan, Zheng, Vasilakos, Athanasios, V.   +3 more
openaire   +1 more source