Practical verified computation with streaming interactive proofs
- 8 January 2012
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableOther Versions
Funding Information
- Division of Computing and Communication Foundations (CCF-0915922CNS-0721491IIS-0964473)
- Division of Information and Intelligent Systems (CCF-0915922CNS-0721491IIS-0964473)
- Division of Computer and Network Systems (CCF-0915922CNS-0721491IIS-0964473)
This publication has 21 references indexed in Scilit:
- Continuous authentication on relational streamsThe VLDB Journal, 2009
- Authenticated indexing for outsourced spatial databasesThe VLDB Journal, 2008
- Simple deterministic wildcard matchingInformation Processing Letters, 2007
- Permutations on the Block PRAMInformation Processing Letters, 1993
- Algebraic methods for interactive proof systemsJournal of the ACM, 1992
- IP = SPACEJournal of the ACM, 1992
- IP = PSPACEJournal of the ACM, 1992
- An in-place, in-order prime factor FFT algorithmIEEE Transactions on Acoustics, Speech, and Signal Processing, 1981
- Fast Probabilistic Algorithms for Verification of Polynomial IdentitiesJournal of the ACM, 1980
- An algorithm for the machine calculation of complex Fourier seriesMathematics of Computation, 1965