Pierre BourhisA Formal Study of Collaborative Access Control in Distributed Datalog Katarina SingerFebruary 15, 2016Talks