Privately and Publicly Verifiable Computing Techniques

1. Introduction
Denise Demirel, Lucas Schabhüser, Johannes Buchmann

2. Preliminaries
Denise Demirel, Lucas Schabhüser, Johannes Buchmann

3. Proof and Argument Based Verifiable Computing
Denise Demirel, Lucas Schabhüser, Johannes Buchmann

4. Verifiable Computing from Fully Homomorphic Encryption
Denise Demirel, Lucas Schabhüser, Johannes Buchmann

5. Homomorphic Authenticators
Denise Demirel, Lucas Schabhüser, Johannes Buchmann

6. Verifiable Computing Frameworks from Functional Encryption and Functional Signatures
Denise Demirel, Lucas Schabhüser, Johannes Buchmann

7. Verifiable Computing for Specific Applications
Denise Demirel, Lucas Schabhüser, Johannes Buchmann

8. Analysis of the State of the Art
Denise Demirel, Lucas Schabhüser, Johannes Buchmann

9. Conclusion
Denise Demirel, Lucas Schabhüser, Johannes Buchmann

Keywords: Computer Science, Data Structures, Cryptology and Information Theory, Mathematics of Computing, Discrete Mathematics, Performance and Reliability