* an abstract provably-secure implementation based on standard cryptographic building blocks (which in particular are implied by the existence of enhanced trapdoor permutations in the CRS model);
* a practical instantiation of our abstract protocol, called ANONIZE, which is provably-secure in the random oracle model based on cryptographic assumptions on groups with bilinear maps.
As far as we know, ANONIZE constitutes the first implementation of a large-scale secure computation protocol (of non-trivial functionalities) that can scale to millions of users.
Category / Keywords: cryptographic protocols / anonymous survey, accountability Original Publication (with major differences): IEEE Security and Privacy 2014 Date: received 6 Jul 2015 Contact author: abhi at virginia edu Available format(s): PDF | BibTeX Citation Note: Journal version of our Oakland 2014 paper, substantially augmented with proofs, definitions, etc. Version: 20150707:131106 (All versions of this report) Short URL: ia.cr/2015/681 Discussion forum: Show discussion | Start new discussion