Poporo: A Formal Framework for Social Networking

This position paper presents a novel approach for ensuring privacy in online social network applications through the combination of formal methods so as to reason in logic about privacy policies, graph theory and simulation to establish the potential threats of revealing information to users, and Human Computer Interaction to ensure that policies are usable and configurable.