Consistency models for P2P systems

This research involves the creation of new consistency models and protocols that can be used efficiently given the constraints of a best-effort network and malicious peers.
As part of our work, we are developing secure and cheat-proof protocols for peer-to-peer games. Games are particularly challenging because players have an incentive to cheat while protocols must meet the real-time message passing requirements dictated by the type of game itself. We are currently using traffic traces and simulations to validate our protocols.