Primitives towards verifiable computation: a survey - Concepedia

Concepedia

Publication | Closed Access

Primitives towards verifiable computation: a survey

13

Citations

70

References

2017

Year

Haseeb Ahmad, Licheng Wang, Haibo Hong, Jing Li, Manzoor Ahmed, Yixian Yang

Frontiers of Computer Science

EngineeringAutomated ReasoningProof ComplexityVerificationFormal MethodsComputer-aided VerificationAutomated ProofComputer ScienceFormal VerificationCryptography

References

	Year	Citations

Page 1