verifiable computing Latest Research Papers

Secure Big Data Management based on Secret Sharing and Verifiable Computing

10.1145/3481646.3481650 ◽

2021 ◽

Author(s):

Momoko Shiraishi

Keyword(s):

Big Data ◽

Data Management ◽

Secret Sharing ◽

Verifiable Computing

Download Full-text

A Secure Federated Learning framework using Homomorphic Encryption and Verifiable Computing

2021 Reconciling Data Analytics, Automation, Privacy, and Security: A Big Data Challenge (RDAAPS) ◽

10.1109/rdaaps48126.2021.9452005 ◽

2021 ◽

Author(s):

Abbass Madi ◽

Oana Stan ◽

Aurelien Mayoue ◽

Arnaud Grivet-Sebert ◽

Cedric Gouy-Pailler ◽

...

Keyword(s):

Homomorphic Encryption ◽

Learning Framework ◽

Verifiable Computing

Download Full-text

Verifiable Computing Applications in Blockchain

IEEE Access ◽

10.1109/access.2021.3129314 ◽

2021 ◽

pp. 1-1

Author(s):

Silvio Simunic ◽

Dalen Bernaca ◽

Kristijan Lenac

Keyword(s):

Verifiable Computing

Download Full-text

Computing Neural Networks with Homomorphic Encryption and Verifiable Computing

Lecture Notes in Computer Science - Applied Cryptography and Network Security Workshops ◽

10.1007/978-3-030-61638-0_17 ◽

2020 ◽

pp. 295-317

Author(s):

Abbass Madi ◽

Renaud Sirdey ◽

Oana Stan

Keyword(s):

Neural Networks ◽

Homomorphic Encryption ◽

Verifiable Computing

Download Full-text

VeriBlock: A Novel Blockchain Framework based on Verifiable Computing and Trusted Execution Environment

2020 International Conference on COMmunication Systems & NETworkS (COMSNETS) ◽

10.1109/comsnets48256.2020.9027414 ◽

2020 ◽

Cited By ~ 1

Author(s):

Lakshmi Padmaja Maddali ◽

Meena Singh Dilip Thakur ◽

R Vigneswaran ◽

M A Rajan ◽

Srujana Kanchanapalli ◽

...

Keyword(s):

Execution Environment ◽

Trusted Execution Environment ◽

Verifiable Computing

Download Full-text

Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions

Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services - MobiQuitous '18 ◽

10.1145/3286978.3287015 ◽

2018 ◽

Author(s):

Nuno O. Duarte ◽

Sileshi Demesie Yalew ◽

Nuno Santos ◽

Miguel Correia

Keyword(s):

Verifiable Computing

Download Full-text

Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-73305-0_3 ◽

2017 ◽

pp. 36-52 ◽

Cited By ~ 1

Author(s):

Gordon Stewart ◽

Samuel Merten ◽

Logan Leland

Keyword(s):

Verifiable Computing

Download Full-text

Verifiable Computing from Fully Homomorphic Encryption

Privately and Publicly Verifiable Computing Techniques - SpringerBriefs in Computer Science ◽

10.1007/978-3-319-53798-6_4 ◽

2017 ◽

pp. 23-25

Author(s):

Denise Demirel ◽

Lucas Schabhüser ◽

Johannes Buchmann

Keyword(s):

Homomorphic Encryption ◽

Fully Homomorphic Encryption ◽

Verifiable Computing

Download Full-text

Verifiable Computing for Specific Applications

Privately and Publicly Verifiable Computing Techniques - SpringerBriefs in Computer Science ◽

10.1007/978-3-319-53798-6_7 ◽

2017 ◽

pp. 43-47

Author(s):

Denise Demirel ◽

Lucas Schabhüser ◽

Johannes Buchmann

Keyword(s):

Verifiable Computing

Download Full-text

Verifiable Computing Frameworks from Functional Encryption and Functional Signatures

Privately and Publicly Verifiable Computing Techniques - SpringerBriefs in Computer Science ◽

10.1007/978-3-319-53798-6_6 ◽

2017 ◽

pp. 37-41

Author(s):

Denise Demirel ◽

Lucas Schabhüser ◽

Johannes Buchmann

Keyword(s):

Functional Encryption ◽

Verifiable Computing

Download Full-text

verifiable computing
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Secure Big Data Management based on Secret Sharing and Verifiable Computing

A Secure Federated Learning framework using Homomorphic Encryption and Verifiable Computing

Verifiable Computing Applications in Blockchain

Computing Neural Networks with Homomorphic Encryption and Verifiable Computing

VeriBlock: A Novel Blockchain Framework based on Verifiable Computing and Trusted Execution Environment

Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions

Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell

Verifiable Computing from Fully Homomorphic Encryption

Verifiable Computing for Specific Applications

Verifiable Computing Frameworks from Functional Encryption and Functional Signatures

Export Citation Format

verifiable computingRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Secure Big Data Management based on Secret Sharing and Verifiable Computing

A Secure Federated Learning framework using Homomorphic Encryption and Verifiable Computing

Verifiable Computing Applications in Blockchain

Computing Neural Networks with Homomorphic Encryption and Verifiable Computing

VeriBlock: A Novel Blockchain Framework based on Verifiable Computing and Trusted Execution Environment

Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions

Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell

Verifiable Computing from Fully Homomorphic Encryption

Verifiable Computing for Specific Applications

Verifiable Computing Frameworks from Functional Encryption and Functional Signatures

verifiable computing
Recently Published Documents