Privately and Publicly Verifiable Computing Techniques - SpringerBriefs in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319537979, 9783319537986

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Conclusion

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

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

2017 ◽

pp. 57-58

Author(s):

Denise Demirel ◽

Lucas Schabhüser ◽

Johannes Buchmann

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

Introduction

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

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

2017 ◽

pp. 1-3 ◽

Cited By ~ 1

Author(s):

Denise Demirel ◽

Lucas Schabhüser ◽

Johannes Buchmann

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

Proof and Argument Based Verifiable Computing

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

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

2017 ◽

pp. 13-22

Author(s):

Denise Demirel ◽

Lucas Schabhüser ◽

Johannes Buchmann

Keyword(s):

Verifiable Computing

Download Full-text

Analysis of the State of the Art

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

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

2017 ◽

pp. 49-56

Author(s):

Denise Demirel ◽

Lucas Schabhüser ◽

Johannes Buchmann

Keyword(s):

State Of The Art ◽

The State

Download Full-text

Preliminaries

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

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

2017 ◽

pp. 5-11

Author(s):

Denise Demirel ◽

Lucas Schabhüser ◽

Johannes Buchmann

Download Full-text

Homomorphic Authenticators

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

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

2017 ◽

pp. 27-35

Author(s):

Denise Demirel ◽

Lucas Schabhüser ◽

Johannes Buchmann

Download Full-text

Privately and Publicly Verifiable Computing Techniques - SpringerBriefs in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Conclusion

Verifiable Computing from Fully Homomorphic Encryption

Introduction

Verifiable Computing for Specific Applications

Verifiable Computing Frameworks from Functional Encryption and Functional Signatures

Proof and Argument Based Verifiable Computing

Analysis of the State of the Art

Preliminaries

Homomorphic Authenticators

Privately and Publicly Verifiable Computing Techniques - SpringerBriefs in Computer Science
Latest Publications