Sophia Drossopoulou, James Noble, Mark S. Miller. Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World. In Michael Clarkson, Limin Jia, editors, Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015. pages 2-15, ACM, 2015. [doi]