{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T03:11:05Z","timestamp":1768533065310,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540228493","type":"print"},{"value":"9783540278368","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27836-8_87","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T18:53:21Z","timestamp":1284576801000},"page":"1041-1053","source":"Crossref","is-referenced-by-count":28,"title":["Efficient Consistency Proofs for Generalized Queries on a Committed Database"],"prefix":"10.1007","author":[{"given":"Rafail","family":"Ostrovsky","sequence":"first","affiliation":[]},{"given":"Charles","family":"Rackoff","sequence":"additional","affiliation":[]},{"given":"Adam","family":"Smith","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"87_CR1","unstructured":"Barak, B., Goldreich, O.: Universal Arguments. In: Proc. Complexity, CCC (2002)"},{"key":"87_CR2","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1145\/358841.358850","volume":"23","author":"J.L. Bentley","year":"1980","unstructured":"Bentley, J.L.: Multidimensional divide-and-conquer. Comm. ACM\u00a023, 214\u2013229 (1980)","journal-title":"Comm. ACM"},{"key":"87_CR3","doi-asserted-by":"crossref","unstructured":"Buldas, A., Laud, P., Lipmaa, H.: Eliminating Counterevidence with Applications to Accountable Certificate Management. J. Computer Security (2002) (Originally in CCS 2000)","DOI":"10.3233\/JCS-2002-10304"},{"key":"87_CR4","doi-asserted-by":"crossref","unstructured":"Buldas, A., Roos, M., Willemson, J.: Undeniable Replies to Database Queries. In: DBIS 2002 (2002)","DOI":"10.1007\/978-94-015-9978-8_4"},{"key":"87_CR5","series-title":"Lecture Notes in Computer Science","first-page":"22","volume-title":"Advances in Cryptology - CRYPTO \u201993","author":"I.B. Damg\u00e5rd","year":"1994","unstructured":"Damg\u00e5rd, I.B., Pedersen, T.P., Pfitzmann, B.: On the existence of statistically hiding bit commitment schemes and fail-stop signatures. In: Stinson, D.R. (ed.) CRYPTO 1993. LNCS, vol.\u00a0773, pp. 22\u201326. Springer, Heidelberg (1994)"},{"key":"87_CR6","doi-asserted-by":"crossref","unstructured":"De Santis, A., Persiano, G.: Zero-Knowledge Proofs of Knowledge Without Interaction (Extended Abstract). In: Proc. of FOCS 1992, pp. 427\u2013436 (1992)","DOI":"10.1109\/SFCS.1992.267809"},{"key":"87_CR7","volume-title":"Handbook of Discrete and Computational Geometry","year":"1997","unstructured":"Goodman, J., O\u2019Rourke, J. (eds.): Handbook of Discrete and Computational Geometry. CRC Press, Boca Raton (1997)"},{"key":"87_CR8","doi-asserted-by":"crossref","unstructured":"Goodrich, M.T., Tamassia, R., Triandopoulos, N., Cohen, R.: Authenticated Data Structures for Graph and Geometric Searching. In: Proc. RSA Conference, Cryptographers\u2019Track (2003)","DOI":"10.1007\/3-540-36563-X_20"},{"key":"87_CR9","unstructured":"Healy, A., Lysyanskaya, A., Malkin, T., Reyzin, L.: Zero-Knowledge Sets from General Assumptions (March 2004) (manuscript)"},{"key":"87_CR10","doi-asserted-by":"crossref","unstructured":"Kilian, J.: A note on efficient zero-knowledge proofs and arguments. In: 24th STOC (1992)","DOI":"10.1145\/129712.129782"},{"key":"87_CR11","unstructured":"Kilian, J.: Efficiently committing to databases. Technical report, NEC Research (1998)"},{"key":"87_CR12","unstructured":"Maniatis, P., Baker, M.: Authenticated Append-only Skip Lists. ArXiv e-print cs.CR\/0302010 (February 2003)"},{"key":"87_CR13","doi-asserted-by":"crossref","unstructured":"Martel, C., Nuckolls, G., Gertz, M., Devanbu, P., Kwong, A., Stubblebine, S.: A General Model for Authentic Data Publication (2003) (manuscript)","DOI":"10.1007\/s00453-003-1076-8"},{"key":"87_CR14","doi-asserted-by":"crossref","unstructured":"Micali, S., Rabin, M., Kilian, J.: Zero-Knowledge Sets. In: Proc. FOCS 2003 (2003)","DOI":"10.1109\/SFCS.2003.1238183"},{"issue":"4","key":"87_CR15","doi-asserted-by":"publisher","first-page":"1253","DOI":"10.1137\/S0097539795284959","volume":"30","author":"S. Micali","year":"2000","unstructured":"Micali, S.: Computationally Sound Proofs. SIAM J. Computing\u00a030(4), 1253\u20131298 (2000)","journal-title":"SIAM J. Computing"},{"key":"87_CR16","unstructured":"Micali, S., Rabin, M.: Accessing personal data while preserving privacy. Talk announcement (1997), and personal communication with M. Rabin (1999)"},{"key":"87_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/3-540-48184-2_32","volume-title":"Advances in Cryptology - CRYPTO \u201987","author":"R. Merkle","year":"1988","unstructured":"Merkle, R.: A digital signature based on a conventional encryption function. In: Pomerance, C. (ed.) CRYPTO 1987. LNCS, vol.\u00a0293, pp. 369\u2013378. Springer, Heidelberg (1988)"},{"key":"87_CR18","unstructured":"Naor, M., Nissim, K.: Certificate Revocation and Certificate Update. In: 7th USENIX Security Symposium (1998)"},{"key":"87_CR19","doi-asserted-by":"crossref","unstructured":"Naor, M., Yung, M.: Universal One-Way Hash Functions and their Cryptographic Applications. In: 21st STOC (1989)","DOI":"10.1145\/73007.73011"},{"key":"87_CR20","unstructured":"Ostrovsky, R., Rackoff, C., Smith, A.: Efficient Consistency Proofs on a Committed Database MIT LCS Technical Report TR-887 (February 2003), See http:\/\/www.lcs.mit.edu\/publications"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27836-8_87.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:24:08Z","timestamp":1605741848000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27836-8_87"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540228493","9783540278368"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27836-8_87","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}