Hannah Quay-de la Vallee, James M. Walsh, William Zimrin, Kathi Fisler, Shriram Krishnamurthi. Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems. In Antony L. Hosking, Patrick Th. Eugster, Robert Hirschfeld, editors, ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2013, part of SPLASH '13, Indianapolis, IN, USA, October 26-31, 2013. pages 1-16, ACM, 2013. [doi]
Abstract is missing.