@inproceedings{c39285c471e7492288a81b0869fac909,
title = "Highly efficient secrecy-preserving proofs of correctness of computations and applications",
abstract = "We present a highly efficient method for proving correctness of computations while preserving secrecy of the input values. This is done in an Evaluator-Prover model which can also be realized by a secure processor. We describe an application to secure auctions.",
author = "Rabin, \{Michael O.\} and Servedio, \{Rocco A.\} and Christopher Thorpe",
year = "2007",
doi = "10.1109/LICS.2007.24",
language = "אנגלית",
isbn = "0769529089",
series = "Proceedings - Symposium on Logic in Computer Science",
pages = "63--76",
booktitle = "Proceedings - 22nd Annual IEEE Symposiumon Logic in Computer Science, LICS 2007",
note = "22nd Annual IEEE Symposium on Logic in Computer Science, LICS 2007 ; Conference date: 10-07-2007 Through 14-07-2007",
}