Results 241 to 250 of about 2,533 (255)

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

Attribute-based multi-function verifiable computation

Future Generation Computer Systems, 2018
Rui Xue
exaly  

Efficient Proof Composition for Verifiable Computation

Lecture Notes in Computer Science, 2018
Refik Molva, Chabanne Hervé, Molva Refik   +2 more
exaly  

Verifiable privacy preserving computation

2023
KOFMAN ALEXANDER, BARGER ARTEM, ALLEN CORVILLE O, BNAYAHU JONATHAN, GUPTA PRATUL, MANEVICH YACOV   +5 more
openaire   +2 more sources

Security Analysis of a Verifiable Server-Aided Approximate Similarity Computation

Lecture Notes in Computer Science, 2017
Shinsaku Kiyomoto, Basu Anirban, Kiyomoto Shinsaku   +2 more
exaly  

Secure Publicly Verifiable Computation with Polynomial Commitment in Cloud Computing

Lecture Notes in Computer Science, 2018
Xiaofeng Chen, Mingwu Zhang, Jiageng Chen   +2 more
exaly  

Publicly Verifiable Computation of Polynomials Over Outsourced Data With Multiple Sources

IEEE Transactions on Information Forensics and Security, 2017
Zhiyong Peng, Wenjing Lou, Qian Wang
exaly  

New verifiable outsourced computation scheme for an arbitrary function

International Journal of Grid and Utility Computing, 2016
exaly  

Efficient Verifiable Computation of XOR for Biometric Authentication

Lecture Notes in Computer Science, 2016
Aysajan Abidin, Aikaterini Mitrokotsa, Abdelrahaman Aly   +2 more
exaly  

Verifiable Computing for Approximate Computation.

IACR Cryptol. ePrint Arch., 2019
Shuo Chen, Jung Hee Cheon, Dongwoo Kim 0003, Daejun Park 0001   +3 more
openaire   +1 more source