In a longer term period, we plan to study protocols to allow a p2p system to stay operational in presence of a wide class of failures, unexpected behavior, and even malicious behavior. An important part of this research will be the development of techniques to prove that a protocol actually achieves such goals.