Batch Verification of Validity of Bids in Homomorphic E-auction.
Kun PengColin BoydEd DawsonPublished in: IACR Cryptol. ePrint Arch. (2005)
Keyphrases
- combinatorial auctions
- online auctions
- bidding strategies
- multi unit
- auction protocol
- sponsored search auctions
- sealed bid
- auction mechanisms
- cryptographic protocols
- winner determination
- mechanism design
- budget constraints
- model checking
- privacy preserving
- formal verification
- sealed bid auctions
- resource allocation
- special case
- social welfare
- data exchange
- multi unit combinatorial auctions
- strategy proof
- batch mode
- verification method
- batch learning
- batch processing
- incentive compatibility
- functional verification
- data sets
- single item
- electricity markets
- electronic commerce
- search engine