NDLI: Limited verification of identities to induce false-name-proofness

Please wait, while we are loading the content...

No regrets: or: Edith Piaf revamps decision theory

Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness

Learning, regret minimization and option pricing

Alternating-time temporal logics with irrevocable strategies

Games, geometry, and the computational complexity of finding equilibria

Epistemic analysis of strategic games with arbitrary strategy sets

Commonsense reasoning by distance semantics

What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability

From conditional probability to the logic of doxastic actions

Knowledge-based modelling of voting protocols

Merging frameworks for interaction: DEL and ETL

The computational complexity of choice sets

A normal simulation of coalition logic and an epistemic extension

Limited verification of identities to induce false-name-proofness

Imaging and Sleeping Beauty: a case for double-halfers

Inexact knowledge, margin for error and positive introspection

Vote manipulation in the presence of multiple sincere ballots

Incorporating unawareness into contract theory

Theorems and unawareness

Common p-belief and uncertainty

A flexible mechanism for dialogue design

Dealing with logical omniscience

A canonical model for interactive unawareness

Unawareness, beliefs and games

Explaining quantity implicatures

Communication, consensus, and order.: Who wants to speak first?

Preservation of epistemic properties in security protocol implementations

Robust equilibria under non-common priors

Unawareness and strategic announcements in games with uncertainty

Perfect cryptography, S5 knowledge, and algorithmic knowledge

Judgment aggregation and the problem of truth-tracking

Generalized solution concepts in games with possibly unaware players

Convergence of behavior in social networks

Alternating-time temporal logic with explicit strategies

Sequential voting rules and multiple elections paradoxes

Limited verification of identities to induce false-name-proofness

Content Provider	ACM Digital Library
Author	Conitzer, Vincent
Abstract	In open, anonymous environments such as the Internet, mechanism design is complicated by the fact that a single agent can participate in the mechanism under multiple identifiers. One way to address this is to design false-name-proof mechanisms, which choose the outcome in such a way that agents have no incentive to use more than one identifier. Unfortunately, there are inherent limitations on what can be achieved with false-name-proof mechanisms, and at least in some cases, these limitations are crippling. An alternative approach is to verify the identities of all agents. This imposes significant overhead and removes any benefits from anonymity. In this paper, we propose a middle ground. Based on the reported preferences, we check, for various subsets of the reports, whether the reports in the subset were all submitted by different agents. If they were not, then we discard some of them. We characterize when such a limited verification protocol induces false-name-proofness for a mechanism, that is, when the combination of the mechanism and the verification protocol gives the agents no incentive to use multiple identifiers. This characterization leads to various optimization problems for minimizing verification effort. We study how to solve these problems. Throughout, we use combinatorial auctions (using the Clarke mechanism) and majority voting as examples.
Starting Page	102
Ending Page	111
Page Count	10
File Format	PDF
DOI	10.1145/1324249.1324265
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2007-06-25
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in