Title: Privately and Publicly Verifiable Computing Techniques
Subjects: Electronic data processing, distributed processing