MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Faithfulness in Internet Algorithms (2004) [20 citations — 2 self]

by Jeffrey Shneidman ,  David C. Parkes ,  Laurent Massoulie
Add To MetaCart

Abstract:

Proving or disproving faithfulness (a property describing robustness to rational manipulation in action as well as information revelation) is an appealing goal when reasoning about distributed systems containing rational participants. Recent work formalizes the notion of faithfulness and its foundation properties, and presents a general proof technique in the course of proving the ex post Nash faithfulness of a theoretical routing problem [11]. In this paper, we use...

Citations

1049 Distributed Algorithms – Lynch - 1996
972 Program slicing – Weiser - 1984
553 The Sybil Attack – Douceur - 2002
476 A survey of program slicing techniques – Tip - 1995
392 Incentives build robustness in BitTorrent – Cohen - 2003
361 Algorithmic mechanism design – Nisan, Ronen - 1999
153 Distributed Algorithmic Mechanism Design: Recent Results and Future Directions – Feigenbaum, Shenker - 2002
147 A BGP-based mechanism for lowest-cost routing – Feigenbaum, Papadimitriou, et al.
127 Computationally feasible VCG Mechanisms – Nisan, Ronen - 2000
115 TCP congestion control with a misbehaving receiver – Savage, Cardwell, et al. - 1999
89 Iterative Combinatorial Auctions: Achieving Economic and Computational Efficiency – Parkes - 2001
51 Rationality and Self-Interest in Peer to Peer Networks – Shneidman, Parkes - 2003
29 Specification Faithfulness in Networks with Rational Nodes – Shneidman, Parkes - 2004
24 Antisocial agents and Vickrey auctions – Brandt, Weiss - 2002
15 Design guidelines for robust internet protocols – Anderson, Shenker, et al.
1 Game Web site, World of Warcraft BitTorrent FAQ. http://www.blizzard.com/wow/faq/bittorrent.shtml – Blizzard
1 The Sybil Attack. In "1st Int. Workshop on Peer-to-Peer Systems (IPTPS'02)", 2002. [6] Dawson Engler and Madanlal Musuvathi. Model-checking large network protocol implementations – Douceur - 2004
1 site, Press Release about BitTorrent. http://www.linspire.com/lindows news pressreleases archives.php?id=111 – Web - 1996
1 Scalable Content Distribution in the Internet – Rodriguez - 2000
1 and Madanlal Musuvathi. Model-checking large network protocol implementations – Engler - 2004